Lessons in Logic 45: Proofs for Socrates’ Argument