It hath been an old remark, that Geometry is an excellent Logic. And it must be owned that when the definitions are clear; when the postulata cannot be refused, nor the axioms denied; when from the distinct contemplation and comparison of figures, their properties are derived, by a perpetual well-connected chain of consequences.