cualesquiera que sean formula_12.