Added 6 minutes later
Well, I went back to sleep anyway. Then I woke up at 7 am to my alarm, then at 7:20 am to the same alarm, then at 7:40 am to it again, then at 8:18 am on my own. I realized I had overslept and might be late, and then I remembered that I had to be there by 9:50 am.