But if the universal is negative, the proposition will not be proved by the conversion of for it turns out that either both or one of the propositions is negative; consequently a deduction will not be possible.