 In the proofs for imperfect deductions, Aristotle says that he “reduces” (anagein) each case to one of the perfect forms and that they are thereby “completed” or “perfected”. These completions are either probative (deiktikos: a modern translation might be “direct”) or through the impossible (dia to adunaton).