Angles and perpendicularity