Abs(x) - (1 ) =0 for x