User blog comment:Vel!/BB(n) in FOST/@comment-30846880-20171224094012/@comment-30846880-20171224095859

I understood Rayo’s func can’t be expressed by the three. What ordinal can do this??