formula_83, formula_84