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