x \geq 0, |x| = x