[CG] Requirements for diagrammatic reasoning (was Gartner is always interesting