 The first type comprises the most basic kind of hypothetical propositions, which take categorical propositions as their parts. The hypotheticals discussed in the development of the hypothetical syllogistic in Qiyās VI are of type (i) only. That is to say, the premise-pairs of hypothetical syllogisms are either type-(i) propositions (conditional-conditional; conditional-disjunctive; disjunctive-disjunctive); or combinations of type (i) propositions with categoricals (conditional-categorical; disjunctive-categorical). The former class comprises purely hypothetical syllogisms, the latter mixed hypothetical syllogisms.