 The lines and circles of Eu diagrams are not similarly flexible. Accordingly, it cannot resolve the generality problem via case-analysis as FG does. The central idea of its approach is to allow diagrams to hold partial information from the outset. Within an Eu derivation, the diagram produced by a proof’s construction has an initial content consisting in all the qualitative relations of the proof’s initial diagram. The qualitative relations concerning objects added by the construction cannot be read off the diagram immediately. Those that can be read off the diagram must be derived by the system’s  rules.[10]