formula_37, formula_15