Lessons in Logic 38: Introduction to Proofing