y>-1, x>2