We finish this section by briefly addressing how the reduction procedure for mathsf EMU described so far can be formalized in the transfinitely iterated fixed point theory widehat mathsf ID_(<ε₀) of [18] in order to yield conservativity of mathsf EMU over widehat mathsf ID_(<ε₀) with respect to arithmetic statements.

“Uck,” he said. “I mean, you... you've got to be kidding.”

deeply conversant in the Platonic philosophy

But govern ill the nations under yoke, / Peeling their provinces.