 He levels three main objections to linguistic ersatzism. First, it takes modality as a primitive, rather than reducing modality to something simpler (like concrete possible worlds). Second, it can’t distinguish qualitatively similar individuals in other possible worlds. Lewis argues that will mean that we can’t always quantify over possibilia, as we can in his theory. Third, it can’t allow as full a range of ‘alien’, i.e. uninstantiated, natural properties as we would like. Sider (2002) has replied that some of these challenges can be met, or at least reduced in intensity, if we take the pluriverse (i.e. the plurality of worlds) to be what is represented, rather than the individual worlds.