formula_9 formula_10.