III.P31 — Terminal Level Characterization

E₃ is terminal iff the self-modelling operator is idempotent: Enr(E₃) = E₃ means the self-model of the self-model is the self-model. This is the abstract characterization of why the ladder stops at four levels.