BY DAY: Teach, learn, breathe, dream in logic. I`m starting my dog out with classic propositional and then we`ll move on to first-order predicate once he grasps modus ponens. BY NIGHT: Make the coffee for AA meetings at Hogwarts. The Oxford Comma is nonnegotiable. I`m told LaTeX is both a necessary and sufficient condition for making my life better; thus, I am endeavoring to figure it out.
©