formula_6 o: formula_7