formula_3 formula_4 formula_16