formula_9 = formula_10 = formula_11