 A direct deduction is a series of steps leading from the premises to the conclusion, each of which is either a conversion of a previous step or an inference from two previous steps relying on a first-figure deduction. Conversion, in turn, is inferring from a proposition another which has the subject and predicate interchanged. Specifically, Aristotle argues that three such conversions are sound: