formula_6 →formula_7