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