Operational constraints in diagrammatic reasoning