Formalmente, esto equivale a una función formula_1: