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