User blog comment:P進大好きbot/Ordinal Notation Associated to Extended Buchholz's OCF/@comment-28606698-20191209102925/@comment-35470197-20191209120100

The error was worse, because ψ_v(ψ_μ(0))[n] was unintensionally constant... Now I fixed the error. Thank you!