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