formula_52, formula_15