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