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