Is |x| - x injective