formula_13 a.