formula_47).