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