f a b f a c f c d f b d 2.2 f a b f a c f c d f b d true f c d f b d false f a b f a c false NaTT certifiable-1.6