Combinando estos cambios, Alice podría crear un número inmenso de variaciones de formula_12, todas ellas contratos buenos.