User blog comment:P進大好きbot/New Issue on Traditional Analyses/@comment-39541634-20190825100759/@comment-35470197-20190825154316

It is perhaps because the most accepted patterns of characteristic expansions of UNOCF have been created by those who know UNOCF but do not know an actual well-defined OCF. For example, UNOCF is supposed to expand like ψ(α+1) = ψ(α)×ω for any α, e.g. ε_0. Such an "extension" of the expansion pattern of standard forms to general expressions does not necessarily preserve the well-foundedness, but nobody cares about it.