 Still another view is that worlds are themselves facts (Suszko 1968, Plantinga 1974 and Zalta 1991). A natural claim, on that view, is that each world belongs to its own domain and to it only, i.e., that for every world \(w\), \(\ES(w) = \{w\}\). If this is accepted, No Twins and W2 are true.