Lessons in Logic 41: More Equivalence Rules for Proofing!