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