Abs(x) - y =0 for x