We need full support for NOT operators for arbitrary complexity
We need full support for NOT operators for arbitrary complexity