formula_15 = formula_16