It is clear then from what has been said that if the universal and negative proposition is necessary, a deduction is always possible, proving not merely that it can not belong but also that it does not; but if the affirmative is necessary no conclusion can be drawn.