But, again, the thing may be made manifest in this way: as we said in the Analytics deduction depends on two propositions, and of these the first is universal, while the second is subsumed under it and is particular.