Best wishes to everyone for Christmas and the holiday season. I'm probably not going to post again until December 29 unless there's something really pressing or interesting in the Lean world. It's time to get my book finished up and then spend time with family. Time to relax a bit. In the mean time, feel free to check out the archives or to ridicule me for my Santa hat!
