 The third type of hypothetical syllogisms is, by contrast, the simplest. It involves premise pairs with two disjunctions. Avicenna notes that as a result of the status of real disjunctions, which are both exclusive and exhaustive, there can be no combination involving two such premises. The proof of this claim involves an interesting point about the meaning of quantification in the case of disjunctions already raised at Qiyās V.5 (particular disjunctions express non-exhaustive alternatives).