La expansión mantiene formula_12.