Reasoning about sleep is hard.