 With this treatment of classification in hand, the Logic proceeds to examine rules of formal inference. In traditional logic, the rules for syllogism are connected with rules for the conversion of propositions which in turn are connected with the distribution of terms. A term is distributed if it is “taken universally” or refers to all the individuals it denotes; otherwise it is undistributed (Kneale &amp; Kneale 1962 [1984: 272]). As Parsons (2006: 61) puts it, the denotation of a term is its extension on its own, whereas its reference is its extension in a proposition. Thus the term “prince” denotes (i.e., is predicable of) all princes, but in the proposition “Some princes are just”, the quantifier “Some” restricts its extension in the proposition (its reference) to a subset of its extension on its own (denotation). According to the rules for distribution stated by medieval logicians, the subject terms of universal propositions and the predicates of negative propositions are distributed or taken universally throughout their extension; all other terms are undistributed. The Logic subsumes a streamlined version of these rules in chapters 17–20 of Part II, in its explanation of the conversion of propositions, accounting for them in terms of the comprehensions and extensions of the terms (II.17, 130–31).