This chapter attempts to show that nominalists who are committed to the Thing Nominalist, Analysability and Extensionalist axioms can coherently endorse a moderate monist solution to the coextension difficulty. It explains that there are two ways proponents of analytic extensional nominalism (AEN) can accommodate alleged cases of coextension: they can be pluralists or monists about alleged cases of both contingent and temporary coextension, but they have to be monists about alleged cases of necessary coextension if genuine impossible worlds are unacceptable. The chapter explains how moderate monists can appeal to a counterpart theory for propositions to block the Leibniz's Law argument for pluralism about coextension. On the other hand, its aim is not to argue that moderate monism about coextension is true, nor has it been to argue that, contrary to appearances, moderate monism is intuitive. The moderate monist AE-Nominalist thinks that there are good theoretical reasons to deny Nonidentity.