Updating docs for negation