formula_3).