formula_39, formula_40