A sign that maybe I was a bit more sleep deprived than I had realized: I took a nap around 7 pm, setting my alarm for 10:30 so I could be at Mertz by 11 and go to Nifty Fifties and do things with people. I woke up around 3:30 am. Oops.