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