diagrammatic reasoning