Added a negation function