 A completion or proof “through the impossible” shows that a certain conclusion follows from a pair of premises by assuming as a third premise the denial of that conclusion and giving a deduction, from it and one of the original premises, the denial (or the contrary) of the other premises. This is the deduction of an “impossible”, and Aristotle’s proof ends at that point. An example is his proof of Baroco in 27a36–b1: