162. Since the argument proving the necessity of a being in which is laid the foundation of all the relations in the possible order, is one of the most transcendental in all metaphysics, and at the same time one of the most difficult to be perfectly understood, we judge it advisable to enlarge somewhat upon the considerations thrown out in the preceding chapter. An example, in which we undertake to establish the possibility of things, independently of a being in which is found the reason of all, will serve our purpose better than abstract reflections. 163. "Two circles of equal diameters are equal." This proposition is evidently true. Let us analyze its meaning. The proposition refers to the possible order, and abstracts absolutely the existence of the circles and of the diameters. No case is excepted; all are comprised in the proposition. 164. Neither does the truth refer to our mode of understanding; but on the contrary, we conceive it as independent of our thought. Were we asked, what would become of this truth were we not to exist, we should without hesitation reply that it would be the same, that it acquired nothing by our existence, that it would lose nothing by our extinction. If we believed this truth to depend in any way upon us, it would cease to be what it is, it would no longer be a necessary but a contingent truth. 165. Nor is the corporeal world indispensable to the truth and necessity of the proposition: on the contrary, if we suppose no body to exist, the proposition would lose none of its truth, necessity, or universality. 166. What would happen, if, withdrawing all bodies, all sensible representations, and even all intelligences, we should imagine absolute and universal nothing? We see the truth of the proposition even on this supposition; for it is impossible for us to hold it to be false. On every supposition, our understanding sees a connection which it cannot destroy: the condition once established, the result will infallibly follow. 167. An absolutely necessary connection, founded neither on us, nor on the external world, which exists before any thing we can imagine, and subsists after we have annihilated all by an effort of our understanding, must be based upon something, it cannot have nothing for its origin: to say this, would be to assert a necessary fact without a sufficient reason.