formula_9 = formula_10