formula_8 formula_9