 A classification of hypothetical propositions is given at the beginning of Qiyās V.3, where Avicenna explicitly lists a first set of permutations and illustrates them with examples. There seems to be no principled reason to think that Avicenna would not have entertained the possibility of more complex iterations (where, for instance, the antecedent of a conditional is itself a conditional whose antecedent is a disjunction of conditionals whose consequents are conditionals consisting of categoricals). A hint in this direction is that he is prepared to entertain the notion of potentially infinite disjunctions.