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

3, 4 and 5 are true, but 1 and 2 are much harder, because according to you, Bucholz's OCF is inconsistent starting at \(\psi_3\), while UNOCF is not. So we have an issue here.