 Kant follows his discussion of arithmetic reasoning and truth with corresponding claims about Euclidean geometry, according to which the principles of geometry express synthetic relations between concepts (such as between the concept of the straight line between two points and the concept of the shortest line between those same two points), neither of which can be analytically “extracted” from the other. The principles of geometry thus express relations among basic geometric concepts inasmuch as these can be “exhibited in intuition” (Shabel 2003; Sutherland 2005a). Elsewhere, Kant also includes geometric theorems as the sorts of propositions (in addition to geometric principles) that count as synthetic, and offers thoughts about geometric proof (A716–7/B744–5) (Friedman 1992, 2010; Shabel 2004). One way to understand the syntheticity of geometric theorems is by recognizing an indispensable diagrammatic role for intuitions in geometric proof (Shabel 2004, 2004). 