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.

Coordinate term: sook

Although not a direct cause, the border skirmish was certainly a collateral incitement for the war.

We're cutting back. No new printers or pens, just refills.