 Modal Criterion is controversial. One may wish to claim that there are such things as the fact that Socrates exists, the fact that Socrates exists and every number is a number, and the fact that singleton [Socrates] exists, and that all or some of these facts are distinct. But given plausible assumptions about the existence-conditions of these facts, they all have the same existence-set.