d x e u x d u x c x c u x b x v e x x b u x a e x 2.2 c u x b x d u x c x true d u x c x false c u x b x false NaTT certifiable-1.6