Text this: Aristotle's Proofs Through the Impossible in Prior Analytics 1.15.