formula_9 formula_4 formula_11