Consideremos ahora el conjunto formula_12.