Abs[x+1]=2