Again, just as in a deduction you do not assume what being deduced is (for the proposition on which the deduction depends is always whole or part), so too what it is to be something must not be in the deduction, but this must be separate from what is laid down.