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

Nayuta Ito on discord said this part had psi(W^w) limit, and that it worked a lot like an OCF.