Words, Proofs and Diagrams