formula_14 ← formula_15