Yesterday was Columbus Day. It is a national holiday but is less consistently celebrated, for a variety of reasons, than any other state holiday in the United States. MIT took Columbus Day (and the day after!) off while my class at Harvard went ahead as scheduled.

I saw Luis this weekend but he had to run off on Sunday because Columbia University, of all places, apparently does not celebrate Columbus day.