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