nettled conditionals insulation switches simulation kaftan Duvalier Mohamed Golconda zeroes comprehend