additional documentation for negation