‘Twas the night before Christmas and everything was finally ready. The gifts were all wrapped under the tree, having multiplied at the last minute and most of them suspiciously bearing the name of Hawkeye. The cookies and the milk have been set out for Santa and carrots for Rudolph. We considered leaving an actual half-eaten…