Insomnia Corollary
There exists a constant c = inf X, where X = {x: “If I can just fall asleep by time t I will still be able to get x hours of sleep.” is truthfully able to be said.}.

Insomnia Conjecture
c is independent of t.