When the conditional is particular, Avicenna contends that there are four additional moods. Negative (universals) are treated in general terms: their criteria of productivity require the categorical major and the consequent of the conditional minor to be both affirmative or both negative, and the categorical to be universal. For example,