User blog comment:Googleaarex/N-Goodstein Sequence/@comment-1605058-20131223222451

As far as G(n,1) and G(n,2) are pretty much clean (expect for not defining function f and not telling us why given formulas are true), for me G(n,4) is a lump of mess. Why does X^^X expand like that?