Implemented logical negation