Midpoint and Perpendicularity