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