formula_46, formula_15