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