You'd think that twelve hours of sleep would be enough, and indeed, I woke up around 3 AM and had trouble getting back to sleep, but even so, when the alarm went off at 4:30 I felt like I could have slept longer. But I dragged myself to work, and I'm not quite as groggy as I have been lately, so that's a positive thing.