User blog comment:Qlf2007/A General Scheme for Veblen Function/@comment-35470197-20191127220421

Why is this system a general scheme for Veblen function? It does not change f restricted to X, and hence it does not generate the Veblen function. Moreover, φ(X^α) = 0 for any non-zero α < X^+, right?