Teniendo en cuenta que formula_42.