User blog comment:Googleaarex/My number is bigger! (Googology Wiki version)/@comment-24509095-20140921122723/@comment-24509095-20140921124246

actually, it is idle-defined*

* waiting to be defined