formula_1; formula_2; formula_3;