 Aristotle does not in passage confront the question of how the geometer uses diagrams to reason about what they illustrate. A few centuries later Proclus does in his commentary on the Elements. Proclus asserts that passing from a particular instance to a universal conclusion is justified because geometers