f a b f c d f g x y g f x f y f h x y g h y f x h x f y g x x h e x 2.2 f g x y f x f h x y f y f h x y f x f g x y f y f g x y g f x f y f h x y g h y f x h x f y true f g x y f y f h x y f y f h x y f x f g x y f x true a 0 0 h 2 1 2 1 d 0 0 b 0 0 c 0 0 f 1 0 f 1 1 0 g 2 0 e 0 0 g 2 1 2 1 f g x y g f x f y false f h x y g h y f x h x f y false NaTT certifiable-1.6