formula_17, formula_18