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.