Chapter1. M记号介绍
M记号是一种基于2-Dropping模式的强大的序数记号，其极限为p(p(e(M+1)))=psd.Πw-反射=SSO，这是一个很大的序数。
M记号由psi函数（以下简写为p）、M、w和其运算组成。在传统的OCF中，Ω折叠p的不动点，而在M记号中，p(M)共同构成一个迭代子折叠p的不动点。
接下来讲M的行为。

在M记号中，M的行为如下：
1、找到紧包着M的p(____)层,组合成一个项A
2、找到紧包着A的p(____)层,把A换成M,得到一个项B
3、再比较A和B的大小
若A>B就需要补层, 补层时,直到满足A=B时才停止
若A<B就穿过这层,继续向外寻找合适的层
若A=B就把A替换成找到的那层及它所包含的东西, 替换n次
在这一系列规则的核心思想就是“向外找两次，找不到补层，找得到就继续找”。我不打算详细讲解这个规则，更何况这个规则我自己也讲不大清楚，所以为了大家更好理解，我将会直接分析M记号。

（以下分析基于BOCF的psi，防止有人杠说p(0)=e0）
p(p(M)) = p(Ω)
p(p(M)+p(M)) = p(Ω2)
p(p(M)*w) = p(Ω*w)
p(p(M)^2) = p(Ω^2)
p(p(M)^3) = p(Ω^3)
p(p(M)^w) = p(Ω^w)
可以看到M记号中p(M)的行为与OCF中Ω相似。
接下来我们加快速度：
p(p(M)^p(M)) = p(Ω^Ω)
p(p(M)^p(M)^w) = p(Ω^Ω^w)
p(p(M)^p(M)^p(M)) = p(Ω^Ω^Ω)
p(e_(p(M)+1)) = p(p(M+w)) = p(e(Ω+1))
这仅仅是p(M)级别而已，之后的p(M2)将会达到Ω_2的境界。
p(p(M2)) = p(p(M+p(M+p(M+p(....))))) = p(z_(Ω+1)) = p(Ω_2^2)
p(p(M2)^w) = p(Ω_2^w)
p(p(M2)^p(M2)^w) = p(Ω_2^Ω_2^w)
p(p(M3)) = p(Ω_3^2)
p(p(M4)) = p(Ω_4^2)
p(p(M5)) = p(Ω_5^2)
p(p(M*w)) = p(Ω_w) = BO
p(p(M*p(M))) = p(Ω_Ω)
p(p(M^2)) = p(I) = EBO (注意这是BOCF)
M记号仅仅用出了M^2，就达到了OCF中需要大费周章折腾才能够达到的EBO，如此的强大！
但事实上，M记号的主战场根本不是EBO以前的这些小东西，而是稳定级别的大序数。

接下来上反射序数分析：
p(p(M^2)) = p(I)
p(p(M^2+M)) = p(Ω_(I+1)) = JO (想想这是为什么)
p(p(M^2+M2)) = p(Ω_(I+2))
p(p(M^2+Mw)) = p(Ω_(I+w))
p(p(M^2+M*p(M^2))) = p(Ω_(I*2))
p(p(M^2+M*p(M^2+M))) = p(Ω_Ω_(I+1))
p(p(M^2*2)) = p(I_2)
p(p(M^2*3)) = p(I_3)
p(p(M^2*w)) = p(I_w)
p(p(M^3)) = p(I(1,0)) = BMSO
p(p(M^3*2)) = p(I(1,1))
p(p(M^4)) = p(I(2,0))
p(p(M^w)) = p(I(w,0))
p(p(M^M)) = p(I(1,0,0))
到这里已经是2-2反射了，接下来开始非递归分析
p(p(M^M+M)) = p(2 aft 2-2) = SRO
p(p(M^M+M^2)) = p((2 1-2) aft 2-2)
p(p(M^M*2)) = p(2nd 2-2)
p(p(M^M*w)) = p(1-2-2)
p(p(M^(M+1))) = p(2 1-2-2)
p(p(M^(M+2))) = p(2 1-2 1-2-2)
p(p(M^(M+3))) = p(2 1-2 1-2 1-2-2)
p(p(M^(M+w))) = p((2 1-)*w 1-2-2)
p(p(M^(M2))) = p(2-2 1-2-2)
p(p(M^(M3))) = p(2-2 1-2-2 1-2-2)
p(p(M^(Mw))) = p((2-2 1-)^w)
p(p(M^M^2)) = p(2-2-2)
p(p(M^M^2*w)) = p(1-2-2-2)
p(p(M^(M^2+1))) = p(2 1-2-2-2)
p(p(M^(M^2*2))) = p(2-2-2 1-2-2-2)
p(p(M^(M^2*w))) = p((2-2-2 1-)^w)
p(p(M^M^3)) = p(2-2-2-2)
p(p(M^M^4)) = p(2-2-2-2-2)
p(p(M^M^w)) = p((2-)^w)
p(p(M^M^M)) = p(K)
p(e_(p(M^M^M)+1)) = p(e_(K+1)) = RO
这已经步入了K的境地，达到了Π3反射级别。在以前，达到这个增长率是一件很值得炫耀的事。
p(p(M^M^M*w)) = p(1-3)
p(p(M^(M^M+1))) = p(2 1-3)
p(p(M^M^(M+1))) = p(2-3)
p(p(M^M^(M*2))) = p(3 2-3)
p(p(M^M^(M*w))) = p((3 2-)^w)
p(p(M^M^M^2)) = p(3-3)
p(p(M^M^M^3)) = p(3-3-3)
p(p(M^M^M^w)) = p((3-)^w)，这达到了UNOCF能够被良定义的部分的极限
（顺带一提，UNOCF我不建议学习）
p(p(M^^4)) = p(Π4-反射)
p(p(M^^4+w)) = p(2 aft 4) = DO
p(p(M^^4*w)) = p(1-4)
p(p(M^(M^^3+1))) = p(2-4)
p(p(M^M^(M^M+1))) = p(3-4)
p(p(M^M^M^M^2)) = p(4-4)
p(p(M^^5)) = p(Π5-反射)
p(p(e_(M+1))) = p(psd.Πw-反射)
终于，我们到达了M记号的极限，这个序数叫SSO，在BMS里它是(0)(1,1,1)(2,2)。

跳太快了

所以 看看ψ(ψ1(0)×2) in MOCF

SSO跟Y(1,3)比哪个大

我看不懂啊