Line & angle proofs