 This should make clear that the account of propositions as sets of worlds is not a structured proposition account. For, as we saw, on a structured proposition account, the semantic values of expressions in a sentence are recoverable from the proposition expressed by the sentence, since those semantic values are constituents of the proposition. This is why on such an account, ‘Bachelors are unmarried males’ and ‘Brothers are male siblings’ express distinct propositions: the propositions have different constituents. But on the possible worlds account, the property of being a bachelor is in no sense recoverable from or a constituent of the proposition expressed by ‘Bachelors are unmarried’. For the latter proposition is just the set of all possible worlds. How could the property of being a bachelor be “recovered” from this set? Similarly, the property of being a brother is not recoverable from the proposition expressed by ‘Brothers are male siblings.’ Again, the latter proposition is just the set of all possible worlds.