universal negative conditional premise: in this case, the fact that the conditional premise is negative affects the categorical consequent, which is denied at all times and under all circumstances. Avicenna presents three moods that are in fact equivalent, in virtue of the relations of mutual implication discussed in Qiyās VII.1, to three moods of case (a) (he does not explicitly discuss the hypothetical equivalent of Celarent, which is also productive via the corresponding Ferio):