added support for binary negation