>>133
Τ_1(Τ_1(0),Τ_1(0))
=ψ_0(ψ_1(Ω_2^Ω))
Τ_1(Τ_1(0),Τ_1(0),ω+1)
=ψ_0(ψ_1(Ω_2^Ω+ψ_1(Ω_2^Ω)×ω))