Si las reglas estándar de cuantificación son usadas, cada término debe referirse a algo que existe en todos los mundos posibles.