III.P35 — Saturation Semantics

F_E(E₃) = E₃ has semantic content: the self-model of the self-model is isomorphic to the self-model (idempotence). E₃ applied to E₃ outputs gives the same set as E₃ itself. Verified at stages 1-3.