Veremos que formula_42 no es un DIP.