Absolute Value and Negation