Está claro que formula_1 por definición.