No se encontró "quantifier elimination". Parece que esa forma no existe