f x f y a f f a f h x y a 2.2 f x f y a f a f h x y f x f y a f h x y f x f y a f f a f h x y a true f x f y a f h x y f x f y a f a f h x y true Failed! NaTT certifiable-1.6