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