User blog comment:SuperSpruce/Question about certain fundamental sequences/@comment-32213734-20190422053122/@comment-35470197-20190423120928

I guess no. There are few googologists who actually understand the definition of Rathjen's OCF. It is really difficult.