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