Classes ended last week, and I'm still rushing to get grading done before doing some holiday traveling. But I didn't want to miss posting in December because this will be the first year since 2007 that I managed to post something every month.
Well, now I've done it, so I can get back to grading.