 The first had to do with the way propositions are individuated on a possible worlds account. The view that propositions are sets of possible worlds does not individuate propositions very finely. For example, consider any pair of sentences that express metaphysically necessary propositions, say ‘Bachelors are unmarried’ and ‘Brothers are male siblings’. Since these propositions are true in all possible worlds, each must be the set of all possible worlds. But there is only one such set. Thus there is only one such proposition! Hence these two sentences express the same proposition. (The view also predicts that all true sentences of mathematics express the same (necessary) proposition, that any two necessarily equivalent sentences express the same proposition, that the conjunction of any sentence S with a necessarily true sentence expresses the same proposition as S, and so on.)