 This section is devoted to explicating Manders’ analysis and the formal systems that have emerged from it. After a brief survey of how Euclid’s diagrams have been viewed through the centuries, Manders’ picture of their role in geometric proofs is presented. A description of how the systems FG and Eu render this picture in formal terms and characterize a logic of Euclidean diagrams then follows.