 If Part I is about terms and Part II about propositions made up of terms, Part III is about arguments, which are in turn made up of propositions made up of terms. It is divided into four subparts. Part III.1 treats syllogisms, and includes a comprehensive theory of modal  syllogistic.[14]  Part III.2 concerns demonstrative syllogisms in particular. Part III.3 is in effect Ockham’s theory of consequence, although it also includes discussions of semantic paradoxes like the Liar (the so called insolubilia) and of the still little-understood disputation form known as “obligation.” Part III.4 is a discussion of fallacies.