User blog comment:Kyodaisuu/English description of Fish numbers/@comment-1605058-20131102141329

The problem we once came up with was that it might be a possibility that we can define FOST... inside FOST. For me, this is realistic possibility. And if that's right, then we can define oracle of Rayo's function inside Rayo's function. Does it create paradoxal sentences? Yes. Does it make a problem for us? No, as paradoxal sequence won't encode a definite number, thus won't qualify to competition.

And, if FOST inside FOST is possible, then Fish number 7 isn't as big as you might think (but still very large)