 Kant identifies the categories in what he calls the metaphysical deduction, which precedes the transcendental  deduction.[17] Very briefly, since the categories are a priori rules for judging, Kant argues that an exhaustive table of categories can be derived from a table of the basic logical forms of judgments. For example, according to Kant the logical form of the judgment that “the body is heavy” would be singular, affirmative, categorical, and assertoric. But since categories are not mere logical functions but instead are rules for making judgments about objects or an objective world, Kant arrives at his table of categories by considering how each logical function would structure judgments about objects (within our spatio-temporal forms of intuition). For example, he claims that categorical judgments express a logical relation between subject and predicate that corresponds to the ontological relation between substance and accident; and the logical form of a hypothetical judgment expresses a relation that corresponds to cause and effect. Taken together with this argument, then, the transcendental deduction argues that we become self-conscious by representing an objective world of substances that interact according to causal laws.