for real x, solve |x| = -x