 Let us call structures whose domains consist of numbers ‘numeric’ structures. The nub of Putnam’s Model-Theoretic Argument against realism is that the realist cannot distinguish the intended model for his/her total theory of the world from non-standard interlopers such as permuted models or ones derived from numeric models, even when total theory is a rationally optimal one that consists, as it must do, of an infinite set of sentences and the realist is permitted to impose the most exacting constraints to distinguish between models. This is a very surprising result if true! How does Putnam arrive at it? 