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

It indeed will. It would be more effective to code Turing machines in FOST. I don't know if formula will be shorter, but it surely is more worth it.