straight negation