User blog comment:Plain'N'Simple/A question for proof-theory experts/@comment-35392788-20191029194318/@comment-35392788-20191031082239

Indeed, the FGH might be too strong at times, like in the case of f_e0 being stronger than the Goodstein function. But even if it is stronger than expected, it could still have a nice correspondence to PTOs.