User blog comment:Ubersketch/My unnamed function is finished?/@comment-5529393-20180921025306/@comment-34422464-20180921114548

I don’t actually think it approximates the FGH over the successor function. I think it exactly replicates the FGH at that stage. I could be wrong, I haven’t tested it much.