Coordinate term: sook

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

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.

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