In which I bring Neal Stephenson into the Christmas season.