I probably should take sleep more seriously. I'll need to wake up at 7 AM tomorrow morning, and it's already 1.50 AM. My last night was also too short, but that was also because I couldn't really get sleep. This would be a good cue for me to head to sleep, though. Goodnight!