El evento A* = W ∧ F se prueba en el segundo elemento de &Omega.