+ - x y z - + x z y - + x y y x 2.2 + - x y z + x z + - x y z - + x z y true + - x y z + x z true - 2 1 1 - 2 0 + 2 0 + 2 1 0 + - x y z - + x z y false NaTT certifiable-1.6