Sin embargo, formula_63 no es verdadera en todo mundo normal, ya que este puede acceder a un mundo no-normal, en donde formula_13 será falsa.