For it resembles conversion, differing only in this: conversion takes place after a deduction has been formed and both the propositions have been assumed, but a reduction to the impossible takes place not because the opposite has been agreed to already, but because it is clear that it is true.