formula_1 equivale a formula_2