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