Text this: El lenguaje formal de las ecuaciones polinómicas.