This is great - thanks! I find that students are often confused by the definition of implication. I adapted your code to make that definition so that would be easy to explore the effects of other possible definitions: https://observablehq.com/@mcmcclur/the-definition-of-implies

Excellent! It turned out pretty cool!