Perpendicularity and Right Angles