Post #2723938

@AlSweigart sweet 😎. I can see this being a neat refactoring demo too. Like a DeMorgan's Law intro or how to verify simplifying a conditional is logically equivalent