Perpendicular Line Proofs