User blog comment:Kyodaisuu/English description of Fish numbers/@comment-25418284-20131102173245/@comment-24061664-20131103150807

Or let me put it this way. Rayo function is defined so that it is larger than any FOST expression. Therefore, any FOST expression which exceeds Rayo function itself will be excluded, because it is contradiction.