formula_7 = formula_8