As usual, Lewis is very insightful, but stubborn. He believes that not everything is a set and thus his theory cannot account for the relation between sets and not sets in a non0mereological way. But this was to be expected. Instead, we should accept that there are nothign but sets, i.e., that the difference between an object and its singleton is metaphysically illusory.