It is clear then that in every deduction there must be a universal, and that a universal is proved only when all the terms are universal, while a particular is proved in both cases; consequently if the conclusion is universal, the terms also must be universal, but if the terms are universal it is possible that the conclusion may not be universal.