Text this: Aristotle's Modal Proofs