If one of the propositions indicates necessity, the other possibility, then if the negative is necessary there is a deduction not merely that it can not belong but also that it does not belong; but if the affirmative is necessary, no conclusion is possible.