 Some kind of background theory of possible worlds is needed. For without this substantive guidance, the subtraction argument seems invalid. More specifically, from a metaphysically neutral perspective, the fact that it is possible for each object to not exist seems compatible with it being necessary that at least one object exists.