))))])是φ型姐姐

))))])是φ型姐姐

)))))])是φ型姐姐

)))])是φ型姐姐

))))])是φ型姐姐

))])是φ型姐姐

)))])是φ型姐姐

))))])是svo型姐姐

))))])是lvo型姐姐

)])、))])是bho型姐姐

如果谈论到对应的序数，那么“二阶段droppinghydra”中的黑色姐姐之于白色姐姐是非常高阶的东西，远高于“一阶段droppinghydra”中的1型姐姐之于0型姐姐。

)])是ψ_0型姐姐

))])是ψ_0型姐姐

)))])是ψ_0型姐姐

))))])是ψ_0)型姐姐

)))])是ψ_0)型姐姐

))))])是ψ_0·2)型姐姐

)])是ψ_0)型姐姐

))])是ψ_0)型姐姐

)))])是ψ_0)型姐姐

)))])是ψ_0))型姐姐

))])是ψ_0))型姐姐

))))])是ψ_0)))型姐姐

))])是ψ_0型姐姐

)))])是ψ_0)型姐姐

))])是ψ_0型姐姐

)))])是ψ_0型姐姐

)))])是ψ_0型姐姐

)))])是ψ_0型姐姐

))))])是ψ_0型姐姐

)))])、))])、))])、)])是ψ_0型姐姐

)])是ψ_0型姐姐

]))])是ψ_0型姐姐

一般而言，如果组成a的括号表达式、组成a的括号表达式的子括号表达式都是白色姐姐，那么是型姐姐，这里就直接用hydra与序数的对应了。

比如，]))])是<]))>型姐姐，继续：

)]))])是<)]))>型姐姐

)]))]))])是<)]))]))>型姐姐

……

这个序列的极限就无法用普通的多少型姐姐来表示了，因为接下来，])的“型”相当于，要超过所有“在本记号中定义到的常规的递归序数”。

“在本记号中定义到的常规的递归序数”都可以用某个0型姐姐内部增加α型姐姐来表示。而就不是“在本记号中定义到的常规的递归序数”。

但我们还是可以说，

])是型姐姐，

这里跟用表示的那个hydra里面出现的概念是一样的。

|)|)的“型”超过所有“在本记号中定义到的常规的递归序数”，

但还是可以说，|)|)是|)型姐姐。

])或者|)|)附近的hydra的类型是非常神奇的。

比如<])]))>[n]

=<])])])]))]))…]))]))>[n+1]

假想一下，它再经过大量的归约，可以得到