Angle congruence and conditionals