Formalmente, es una 8-tupla formula_1 donde: