Lessons in Logic 39: Practice with the Basics of Proofing