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