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