 If one is unwilling to make a distinction between encoding and exemplifying, but one wants to maintain the identification of possible worlds with maximal possible states of affairs, one either has to accept that necessarily equivalent states of affairs are the same or one must identify possible worlds with sets of necessarily equivalent possible states of affairs. We already rejected the first option as unfruitful for semantics. The second option seems to result in a set-theoretic modeling or replacement of possible worlds, not in a conception of possible worlds (see Zalta 1993: 394).