x-1=-y^2\wedge{-2=x^4+x^3+x^2+x+1}