formula_5 = formula_6 = 1