 If metaphysical realism is to be tenable, it must be possible for even the best theories to be mistaken. Or so metaphysical realists have thought. Whence, such realists reject the Model-Theoretic Argument MTA which purports to show that this is not possible. Here is an informal sketch of the MTA due to van Fraassen [1997]: