added support for negation traits