一个关于钻井过深的好莱可夫式的无限级游戏。