con formula_2, formula_3