 Lewis didn’t think much of the broader positivist project, but he was happy to take over some of their technical advances in solving this location problem. Lewis noted that this formal project, the project of trying to define theoretical terms in an already understood language, was independent of the particular use we make of it. All that really matters is that we have some terms introduced by a new theory, and that the new theory is introduced in a language that is generally understood. In any such case it is an interesting question whether we can extract the denotation of an introduced term from the theory used to introduce it.