 While Part I is about terms, Part II is about “propositions,” which are made up of terms. Part II gives a systematic and nuanced theory of truth conditions for the four traditional kinds of assertoric categorical propositions on the “Square of Opposition,” and then goes on to tensed, modal and more complicated categorical propositions, as well as a variety of “hypothetical”  (molecular[13])  propositions. The vehicle for this account of truth conditions is the semantic theory of “supposition,” which will be treated below.