User blog comment:Kyodaisuu/Proof that there is no way to write Rayo function in compact form inside FOST/@comment-25418284-20131103222255

It seems that the proof is based on the assumption that a compact FOST self-interpreter would have any use in Rayo's function. This assumption is incorrect, and indeed its falsity is the very reason why OFOST is so much stronger than FOST!