implicit negation