Now time for sleep, hopefully.