I had no idea that Lewis Caroll was a mathematician at Oxford ! So impressive.
I am taking a course in Analysis at Wash U and we discussed a deep concept in mathematical logic called Modus ponens in class.
More than a hundred years ago, Lewis Caroll wrote a short story around familiar characters to explain this idea. Watch out for some lame puns of that era ! LOL .