implemented term negation