Empleando esta definición, la 3-tupla formula_9 podría ser: