For this very reason all analytical judgments are a priori even when the concepts are empirical, as, for example, Gold is a yellow metal; for to know this I require no experience beyond my concept of gold as a yellow metal: it is, in fact, the very concept, and I need only analyse it, without looking beyond it elsewhere. c. Synthetical Judgments require a different Principle from the Law of Contradiction.—There are synthetical a posteriori judgments of empirical origin; but there are also others which are proved to be certain a priori, and which spring from pure Understanding and Reason. Yet they both agree in this, that they cannot possibly spring from the principle of analysis, viz., the law of contradiction, alone; they require a quite different principle, though, from whatever they may be deduced, they must be subject to the law of contradiction, which must never be violated, even though everything cannot be deduced from it. I shall first classify synthetical judgments. 1. Empirical Judgments are always synthetical. For it would be absurd to base an analytical judgment on experience, as our concept suffices for the purpose without requiring any testimony from experience. That body is extended, is a judgment established a priori, and not an empirical judgment. For before appealing to experience, we already have all the conditions of the judgment in the concept, from which we have but to elicit the predicate according to the law of contradiction, and thereby to become conscious of the necessity of the judgment, which experience could not even teach us. 2. Mathematical Judgments are all synthetical. This fact seems hitherto to have altogether escaped the observation of those who have analysed human reason; it even seems directly opposed to all their conjectures, though incontestably certain, and most important in its consequences. For as it was found that the conclusions of mathematicians all proceed according to the law of contradiction (as is demanded by all apodeictic certainty), men persuaded themselves that the fundamental principles were known from the same law. This was a great mistake, for a synthetical proposition can indeed be comprehended according to the law of contradiction, but only by presupposing another synthetical proposition from which it follows, but never in itself. First of all, we must observe that all proper mathematical judgments are a priori, and not empirical, because they carry with them necessity, which cannot be obtained from experience. But if this be not conceded to me, very good; I shall confine my assertion to pure Mathematics, the very notion of which implies that it contains pure a priori and not empirical cognitions.