 As it stands, the formal theory does not have the resources to make this distinction. But this is easy to fix. Just replace the theory T with a theory T*, which is a long disjunction of various important conjuncts of T. So if T consisted of three claims, p1 p2 and p3, and it is close enough to true if two of them are true, then T* would be the disjunction (p1 ∧ p2) ∨ (p1 ∧ p3) ∨ (p2 ∧ p3). Lewis endorses this method in “Psychophysical and Theoretical Identifications” The disjuncts are propositions that are true in states that would count as close enough to the world as described by T that T’s terms denote. Note that in a real-world case, some parts of T will be more important than others, so we won’t be able to just ‘count the conjuncts’. Still, we should be able to generate a plausible T* from T. And the rule in general is that we apply the above strategy to T* rather than T to determine the denotation of the terms.