(y<(x+4)^2/4)&(y>1)&(y>5-(x-1)^2)