Add a spec for negation