User blog comment:Rgetar/Veblen functions with rules φ(α) = ωα; φ(α) = ω + α; φ(α) = 1 + α/@comment-35134374-20180912171614

Your "\(\varphi(X)=\varphi(X)\)" is actually an identity for all functions \(\varphi\) and X.