God made the world, but he also made it true that one plus one equals two. And just as he might have not made a world, so he might just as well have not made it true that one plus one equals two, or even have made it true instead that one plus one equals three. Similarly, [God] was free to make it not true that all the radii of the circle are equal—just as free as He was not to create the world.34