Aristotles Modal Proofs: Prior Analytics A8-22 in