I'm off for a day or two to celebrate Christmas with my family. And contrary to what my ex-wives might have told you, I am -- when warranted -- a real party-animal!
For instance, this year, I aim to delight my nephews (ages 8 and 9) by showing them how to deduce a first order propositional calculus from scratch given a mere four axioms. Naturally, there is no guarantee such a gutsy move will meet with success, but the fun for the children will be in the sheer reckless thrill of it all!
Regardless of which of the several holidays you celebrate around this time of the year, please have a joyous one! And don't hesitate to email me if you need any party tips!