 And so, carrying out a Euclidean construction on a representative diagram can result in an unrepresentative diagram. A central task of formalizing Euclid’s diagrammatic proofs is accounting for this—i.e., providing with its rules a method for distinguishing general co-exact features from non-general ones in diagrammatic representations of constructions. The systems FG and Eu take two different approaches to this task. 