Perpendicularity and Angle Congruence