Line and angle proofs