 Part II on judgment concludes in Chapters 17–20 with rules for the conversion of verbal propositions, which is the exchanging of subject and predicate terms. These operations on propositions are the Logic’s reworking of the traditional theory of the distribution of terms which in turn depended on a complicated theory of “supposition” (Spade 1982, Parsons 2006, Martin 2020). In traditional logic, elaborate rules of conversion were necessary to relate the premises of a syllogism to each other and to the conclusion. This is mostly unnecessary in the Logic’s treatment of syllogistic inference in Part III, but the authors take the opportunity to display simplified conversion rules developed on the basis of a few “axioms” regarding the containment relationships between the comprehensions and extensions of terms.