For, as has been shown, a deduction is possible both in the former and in the latter case: consequently, if what is laid down is contrary to the conclusion, a refutation must take place; for a refutation is a deduction which establishes the contradictory.