formula_2 => formula_3