diagramatic reasoning