La[b] = The ath loop of b. This means that L1[0] = ⊙+1. This allows us to do L1[2] and eventually we will reach L1[⊙], L1[⊙+1] = L2[0] which is the second loop of terminus, each loop makes the limit (Terminus) a little higher (a terminusth or 1/⊙ higher each time), so ⊙ < L1[⊙]. Eventually we reach L⊙[⊙] which is no problem. We can even do LL⊙[⊙][⊙] and so on.

TN(1) = ⊙. Then, TN(2) = LLL...(0)...(0) with an infinite nesting of Ls. TN(3) = TN(2)+1TN(2)+1TN(2)+1TN(2)+1... with an infinite nestin