对于上超传递类的非平凡初等自嵌入j：V[θ]→V[θ]，cf(θ)=θ，V[θ]∈V[θ]，关键点crit(j)、全体自嵌入荟萃ε(V[θ])与任意无界闭类C满足存在宇宙序数κ_n+1=sup{crit(j)：j∈ε(V[θ])∧κ_n∈crit(j)∈C⊆κ_n+1∧n∈θ}，而κ_0=sup{crit(j)：j∈ε(V[θ])∧∀x(x∈κ_0→x∈crit(j)∈C⊆κ_0)}，这已经足以堆叠各种V-like模型自嵌入的莱茵哈特基数至闭无界多。

以κ_0为例，它的一致性强度和秩无悬念地胜过了上超无限世界基数、不可达基数和强基数，对任意n∈κ_0均存在非平凡真初等自嵌入j：V[x]→V[x]，使得j嵌入点α的j^n(α)长序列被其所封闭（x对属于它的n拥有相似的封闭性，虽然它也只是κ_0中无界闭类的一粒尘埃）——这形成了一条(V[α],∈,T∩α)≺(V[j^n(α)],∈,T∩j^n(α))≺(V[x],∈,T)的超宇宙无界序列，关键点α和所有j^n(α)都是莱茵哈特基数，我们允许替换公理模式对V[x]的带参真谓词T适用，借助反射论证，调换参数将莱茵哈特基数本身的性质反射下去，每一个j^n(α)下均有与其等长的链条的同构子，否则矛盾，因为假如V[j(α)]认为自身之下的外宇宙莱茵哈特基数只有α一个，那么V[α]也如此认为，但α本身就是莱茵哈特基数，与预设相悖。

于是我们获得了α下的子结构(V[β],∈,T∩β)≺(V[j^n(β)],∈,T∩j^n(β))≺(V[α],∈,T∩α)，β之下以此类推。须注意，这里的x、α、β等皆为类性的宇宙序数，还没有考虑到宇宙序数之间的间隔有多么浩瀚。

回归主题，n为极限序数时，κ_n=∪{κ_m：m＜n}，不动点κ=κ_κ是0-逾界基数λ_0，对任意α＜λ_0都是κ_α。λ_n+1=sup{crit(j)：j∈ε(V[θ])∧λ_n∈crit(j)∈C⊆λ_n+1∧n∈θ}，诸如此类，我们能像κ_n、λ_n一样拟制θ中任意多种大基数，定义索引符c使得序列(c_0,c_1,……)成为对于序列(sup{κ_n：n∈c_0},sup{λ_n：n∈c_1},……)的枚举，进一步，θ内部会存在平稳子类C={c⫋V[θ]，a∈θ：cf(c_a)=c_a=a}，反衬θ之大。