Again, if the universal immediate proposition is a principle of deduction, and the universal proposition is affirmative in the probative demonstration and negative in the negative, and the affirmative is prior to and more familiar than the neg ative (for the negation is familiar because of the affirmation, and the affirmation is prior, just as being the case is prior to not being the case)