 This yields an eight-fold categorization occasionally advocated by Avicenna himself when he says, for example in the treatment of hypothetical propositions, that the categoricals embedded in them may be one of the above eight (Qiyās VII.1, 361.1–362.4).