Q[x,y]
{y-1}
z
