Implement negation of variables.