User blog comment:GamesFan2000/The second part of my attempt at an ordinal notation/@comment-34422464-20190213012140/@comment-37246647-20190213063430

Indeed. Ito also thinks that T_1(1) is equivalent to psi(W^W), though I was a bit ambiguous with parts 3 and 4.