I sort of mentioned this in a parent comment, but think you might get a kick out of this question: Why modus ponens? [0] [0]:https://en.wikipedia.org/wiki/Wha

I sort of mentioned this in a parent comment, but think you might get a kick out of this question: Why modus ponens? [0] [0]:https://en.wikipedia.org/wiki/What_the_Tortoise_Said_to_Achilles https://en.wikipedia.org/wiki/What_the_Tortoise_Said_to_Achi...