User blog comment:LittlePeng9/Random Turing machines/@comment-5529393-20130413053946

All right, the Buchholz hydra! Good luck with it.