added docs to negation header