ontrue is an itype. Comparisons may have an ontrue, and it will only be evaluated if the comparison operation resolves to true.