 stating that if it is necessary that everything exists then everything exists necessarily. In terms of a possible worlds semantic model, this boils down to stating that every object existing in the current world should also exist in an alternative possible one: when one moves to alternative scenarios, the domain does not shrink.