User blog comment:Kyodaisuu/English description of Fish numbers/@comment-25418284-20131102173245/@comment-1605058-20131103143944

If FOST formula defines Rayo(Rayo(10^90)) in 10^100 characters, then this formula defines number larger than it can possibly define. Thus it doesn't define a number. So it doesn't qualify as a "competitor" for Rayo(10^100). No contradiction emerges here, and we still can have Rayo's function in FOST.