 In the first case, the most natural arrangement is when the minor is an affirmative categorical and its predicate is the subject of the disjunctive major. The example at Nağāt 82, xvi “Everything countable is either even or odd; every large quantity is countable; therefore, every large quantity is either even or odd” is in line with the general scheme “Always, every B is either H or Z; every C is B; therefore, always, every C is either H or Z” given at Qiyās VI.6, 353.8–9. In the Nağāt Avicenna asserts that this arrangement comes in four combinations, and both in the Qiyās and in the Nağāt he refers to the above as (a mood of) the first figure. Admissible variants seem to be those involving a particular major and minor, or a universal negative major (or affirmative with negative parts). The second figure is said to be non-productive (and is consistently not mentioned in the Nağāt), while the third figure is said to conclude by conversion but is not discussed any further.