https://www.princeton.edu/~adame/papers/sleeping/sleeping.pdf and http://fitelson.org/probability/lewis_sb.pdf
https://www.princeton.edu/~adame/papers/sleeping/sleeping.pdf and http://fitelson.org/probability/lewis_sb.pdf