 The simplest case is not general in another, more important, respect. Not all theoretical terms are names, so it isn’t obvious that we can quantify over them. Lewis’s response, at least in the early papers, is to say we can always replace them with names that amount to the same thing. So if T says that all Fs are Gs, and we are interested in the term ‘G’, then we’ll rewrite T so that it now says Gness is a property of all Fs. In the early papers, Lewis says that this is a harmless restatement of T, but this isn’t correct. Indeed, in later papers such as “Void and Object” (2004d) and “Tensing the Copula” (2002a) Lewis notes that some predicates don’t correspond to properties or relations. There is no property of being non-self-instantiating, for instance, though we can predicate that of many things. In those cases the rewriting will not be possible. But in many cases, we can rewrite T, and then we can quantify into it.