User blog comment:Ubersketch/Lexicographic ordinal notation up to the Bachmann-Howard ordinal/@comment-30869823-20190913225449/@comment-34422464-20190917193855

Yeah psi(e0+1)=e0w makes no sense. I meant to say psi(W+1). If we allowed psi(e0+1)=e0w, psi(W) would be larger than e0w since e0+1<W or something like that.