  Worlds, in particular, can be defined as special cases of such  recombinations, together with appropriate totality facts. To state  this, we need a condition that ensures the existence of a unique  actual world: 