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.