Está definida siempre y cuando formula_2.