Es decir, si formula_27, y si