11/23: didn't feel like work

Truth be told, I did a bit of grading yesterday morning, so the day wasn't wholly a holiday.  When I logged on to post this evening, I thought I'd write that today I did actually take a holiday, doing no work.  But just a minute ago I realized:  I did do some school-related work late in the morning and in the early afternoon.  Still, it counts as a good thing--though of a different kind--that the work I did didn't feel like work.