minus minus x x minux + x y + minus y minus x + minus x + x y y + + x y minus y x 2.2 minux + x y minus y minux + x y minus x minux + x y + minus y minus x true minux + x y + minus y minus x false minux + x y minus x false minux + x y minus y false NaTT certifiable-1.6