4/20: no appointments

...in my regular office hours this afternoon.  This may be the first time in years that that's been the case.  I like working with students, and that's what office hours are for, but today it was a welcome change to have some time to catch up on other work.