User blog comment:Lord Aspect/Ennea-Aggravation (aka my most successful notation yet)/@comment-35470197-20181014005501/@comment-35470197-20181014110118

But in your definition, you wrote [uparrow]^{lambda(n-1)}. That is why I thought that you repeated to decrease the suffix of [uparrow].

Why does not [uparrow]^{lambda(0)} appear in your computation of lambda_1?