User blog comment:LittlePeng9/First order oodle theory/@comment-6768393-20141103005710/@comment-5150073-20141103045048

As Wojowu said: "Every valid FOST expression is equally valid as FOOT expression."

Thus, FOOT(10^100) is at least as large as Rayo(10^100) anyways.