User blog comment:LittlePeng9/FOOT is not as strong as I thought/@comment-172.58.105.131-20170211000506/@comment-44238981-20200208104530

Now, I am no expert on this, but SOST introduces a kind of class. And it's much more powerful. By Barry's Paradox, Rayo can't be defined in FOST, but it can be in SOST, and it takes much less than a googol symbols, which means that SOST(1e6) >>>> FOST(1e100) for a bit of comparison.