Woke up at 5.30, fell back asleep just before my alarm went off at 7.30, truly the most annoying way to start a Monday.