"Even though the model referred to satisfies the theory, etc., it is 'unintended'; and we recognize that it is unintended from the description through which it is given (as in the intuitionist case). Models are not lost noumenal waifs looking for someone to name them; they are constructions within our theory itself. and they have names from birth."