Angles and Proofs