← Proofs with Perpendicular Lines