User blog comment:P進大好きbot/Googological Open Problems on OCFs/@comment-36984051-20190529152604/@comment-35470197-20190529221118

Yeah, it is a good direction to us. But since TON itself is not relevant to an OCF, I did not add it. (The title of this blog is "Googological Open Problems on OCFs").