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