En ese caso, "y" pasa a estar ligada por un cuantificador universal, porque la nueva fórmula es: formula_2.