Lessons in Logic 40: Equivalence Rules in Proofing