fyi

i did not go to bed at 5:40. i started writing the post at that time and then finished it later.

however, going to bed at 5:40 doesn't sound so bad.