In the first place, Kant states his problem in reference only to the attributive judgment. The other types of relational judgment are entirely ignored. For even when he cites judgments of other relational types, such as the propositions of arithmetic and geometry, or that which gives expression to the causal axiom, he interprets them on the lines of the traditional theory of the categorical proposition. As we shall find,[163] it is with the relational categories, and consequently with the various types of relational judgment to which they give rise, that the _Critique_ is alone directly concerned. Even the attributive judgment is found on examination to be of this nature. What it expresses is not the inclusion of an attribute within a given group of attributes, but the organisation of a complex manifold in terms of the dual category of substance and attribute. Secondly, this exclusively attributive interpretation of the judgment leads Kant to draw, in his _Introduction_, a hard and fast distinction between the analytic and the synthetic proposition--a distinction which, when stated in such extreme fashion, obscures the real implications of the argument of the _Analytic_. For Kant here propounds[164] as an exhaustive division the two alternatives: (_a_) inclusion of the predicate concept within the subject concept, and (_b_) the falling of the predicate concept entirely outside it. He adds, indeed, that in the latter case the two concepts may still be in some way connected with one another; but this is a concession of which he takes no account in his subsequent argument. He leaves unconsidered the third possibility, that every judgment is both analytic and synthetic. If concepts are not independent entities,[165] as Kant, in agreement with Leibniz, still continues to maintain, but can function only as members of an articulated system, concepts will be distinguishable from one another, and yet will none the less involve one another. In so far as the distinguishable elements in a judgment are directly related, the judgment may _seem_ purely analytic; in so far as they are related only in an indirect manner through a number of intermediaries, they may _seem_ to be purely synthetic. But in every case there is an internal articulation which is describable as synthesis, and an underlying unity that in subordinating all differences realises more adequately than any mere identity the demand for connection between subject and predicate. In other words, all judgments will, on this view, be of the relational type. Even the attributive judgment, as above noted, is no mere assertion of identity. It is always expressed in terms of the dual category of substance and attribute, connecting by a _relation_ contents that as contents may be extremely diverse.