Lessons in Logic 42: Conditional Proofs