formula_11 = formula_12