for testing perpendicularity