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