f a f b g b g a f x g x 2.2 f x g x f a f b g b g a true f a f b false f x g x false g b g a false NaTT certifiable-1.6