Added support for never negation