Consideramos la variable formula_42.