User blog comment:Moooosey/Simple psi-- a fairly simple ocf/@comment-43798125-20191026225036/@comment-35470197-20191101230448

Since psi_0(α) = ε_α for any α < ζ_0, psi_0(W) is ζ_0 in that definition.