para algún formula_27 en formula_28 dependiendo de formula_29.