formula_27; formula_28