Happy Columbus Day!

It is a glorious holiday: my wife has the day off, and the kids do not.  This is infinitely preferable to the alternative, and there are rather more examples of the alternative, so we’re keeping this one, thanks.  Celebratory brunch awaits!