perpendicularity