SMS versenden: Aristotle's Modal Proofs