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