Except for a couple of minor tasks, the spring semester is over! Much to write but it will keep.

 May 1. One more class next week and then it's grading fun!