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