Next we must determine what a propositi is, what a term is, and what a deducti is (and what sort of deduction is perfect and what imperfect); and after that, what it is for one thing to be or not be in another as a whole, and what we mean by being predicated of every or of no.