Es decir, todo lo que se requiere para que formula_10 sea verdadero en "w" es que no haya ningún mundo accesible desde "w" donde formula_9 sea falso.