added negation checkers