This example also tends to prove that the enthymema is not a mere abbreviation of words; and it shows why we employ it in reasoning upon matters familiar to the understanding. In any one of the conceptions we see all that is necessary for the consequence; and, therefore, one premise suffices, as in it the other is included rather than understood. A beginner may say: the arc is greater than the chord, because the curve is greater than the right line; but when familiarized with geometrical ideas, he will simply say, the arc is greater than the chord; he will see the idea of the curve in that of the arc, and the idea of the right line in that of the chord, without need of decomposition. If the arc is greater than its chord, this is not because every curve is greater than the corresponding right line. Did the abstract idea of curve not exist, and were this particular arc of a circle the only curve thought of; did the abstract idea of right line not exist, and were this particular chord the only right line thought of, it would still, as at present, be true that the arc is greater than the chord. 275. When treating of the _necessary_ relations of things, the general principles, the middle terms, and all the auxiliaries to reasoning furnished by logic, are only inventions of art to make us reflect upon the conception of the thing, and see in it what otherwise we should not see. Hence our judgments on necessary objects are in some sense analytical; and Kant equivocates, when he says there are synthetic judgments not dependent on experience. Without experience we have only the conception of the thing. We do not pretend that all propositions express such a relation between the subject and the predicate, that the conception of the former will always give that of the latter; but we do hold, that the reason of this insufficiency is the incompleteness of the conception, either in itself, or in relation to our comprehension. But if we suppose the conception complete in itself, and a due capacity in our intellect to understand whatever it contains, we shall find in the conception all that can be the object of science.