f g h x y f a a f h x x g f y a 2.2 f g h x y f a a f y a f g h x y f a a f h x x g f y a true f g h x y f a a f h x x g f y a false f g h x y f a a f y a false NaTT certifiable-1.6