User blog comment:P進大好きbot/Googological Open Problems on OCFs/@comment-25337554-20190528082117/@comment-35470197-20190528084131

Since I wrote "an OCF, an ordinal notation, or a notation system with a recursive system of fundamental sequences" as you quote above, I do not think that it is misleading. But ok, I add more wakariyasui explanation.