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