ensure that negation patterns work