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