f g x y y g f x x y 2.2 f g x y y f x x y true f g x y y f x x y true f 3 0 f 3 1 0 g 1 1 1 NaTT certifiable-1.6