Diagrammatic Representation and Reasoning