perpendicularity

not defined yet