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.

[T]hat a rhetorician, like Libanius, a Pagan even to madneſs, ſhould think the Chriſtians capable of attempting the life of Julian, is not ſurpriſing. … But that an eccleſiaſtical hiſtorian, like Sozomen, ſhould be tempted to canoniſe ſo deteſtable an action, might perhaps not be credited on my aſſertion.

The Commission got itself into systematic working order, and for weeks the contributions flowed into its treasury.

Americans can do whatever they set their hearts on.