formula_16 = formula_17 = formula_18