formula_142 + formula_143