Q[a,b,c] 
{a+b+c+1,a+b+2c} 
