Si desde "w" no se accede a ningún mundo posible, entonces formula_27 será falso en "w".