User blog comment:Wythagoras/Bounds for Rayo (not my work)/@comment-5150073-20141017075325

For exponentiation - there are still many things which aren't in pure FOST like ω.