For whenever the negative is universal and necessary, a deduction will always be possible to prove both that it may and that it does not (the proof proceeds by conversion); but when the affirmative is universal and necessary, no conclusion can be drawn.