User blog comment:P進大好きbot/Please Help me on study of Pair Sequence System (2-rowed Bashicu Matrix System)/@comment-35870936-20180813215517/@comment-35470197-20180814010310

> Normal OCFs do indeed have satisfy α≤β impies ψn(α)≤ψn(β), however UNOCF is different.

But I am dealing with Buchholz's OCF, as I clearly declared in the blog post. Therefore it is not a problem here, is it?