formula_19 = formula_20