Title: Reasoning with Diagrams