* x * y z * otimes x y z * 1 y y * + x y z oplus * x z * y z * x oplus y z oplus * x y * x z 2.2 * + x y z * y z * x oplus y z * x z * x * y z * otimes x y z * + x y z * x z * x oplus y z * x y true * x oplus y z * x y * + x y z * x z * x * y z * otimes x y z * x oplus y z * x z * + x y z * y z true oplus 2 1 2 1 1 0 0 * 2 1 2 0 otimes 2 1 + 2 1 2 1 * 2 1 2 2 NaTT certifiable-1.6