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