Angles, lines and proofs