首先我们有BOCF:ψ(…)
然后我做了个BOCF的改版:ψ’(…)
它的特点是，所有的pseudo都变成real了
比如ψ(Ω)=ε_0，我们可以说p.Ω=ε_0<r.Ω
在ψ里，ψ(Ω^Ω^…)肯定大于ε_0^ε_0^…，前者是BHO，后者只是ε_1
但是在ψ’里，pseudo就是real，所以：
ψ’(Ω)=ε_0
ψ’(Ω^Ω)=ε_0^ε_0
ψ’(Ω^Ω^…)=ψ’(Ω_2)=ε_0^ε_0^…=ε_1
同理，在ψ里，p.Ω_2=ε_(Ω+1)<r.Ω_2
但是在ψ’里，ψ’(Ω_2^Ω_2^…)=ψ’(Ω_3)=ε_1^ε_1^…=ε_2
以此类推
ψ’(Ω_4)=ε_3
ψ’(Ω_ω)=ε_ω
ψ’(Ω_Ω)=ε_ε_0
ψ’(I)=ζ_0
ψ’(Ω_(I+1))=ψ’(I^I^…)=ζ_0^ζ_0^…=ε_(ζ_0+1)
ψ’(I_2)=ψ’(Ω_Ω_…_(I+1))=ε_ε_…_(ζ_0+1)=ζ_1
ψ’(I_ω)=ζ_ω
ψ’(M)=η_0
ψ’(M_2)=η_1
ψ’(N)=φ(4,0)
ψ’((Π_2—)^ω)=φ(ω,0)
ψ’(K)=φ(1,0,0)
再往后的我就不知道了（不会反射），随便猜一下吧
ψ’(Π_4)=φ(1,0,0,0)=ψ(Ω^Ω^2) (?)
ψ’(Π_ω)=φ(1@ω)=ψ(Ω^Ω^ω) (?)
ψ’(Π_(1,0))=φ(1@(1,0))=ψ(Ω^Ω^Ω) (?)
ψ’(Π_(1@(1@…))=φ(1@(1@…))=ψ(Ω_2) (?)
……
现在再定义一个OCF
C(α)=ψ和ψ’的第α个追平点（α<Ω，从第0个开始，ψ(Ω)=ψ’(Ω)不算）
仿照BOCF，C(Ω)=C(C(…))
还可以定义C_1(α)，C(Ω_2)，C(I)，C(M)，……
C(0)=ψ和ψ’的最小的追平点
假设C(0)=ψ(X)=ψ’(X)
序数C(X)有多大能不能打BMS、Y序列