User blog comment:Moooosey/dco + decord sequence/@comment-43798125-20191022211916/@comment-27516045-20191022223204

the limit of a -> gamma_a is phi(1,1,0). Ackermann ordinal is significantly greater than that.