negation added