first steps towards addNotOperator()