f g X f X 2.2 f g X f X true f g X f X true f 1 0 f 1 1 0 g 1 1 1 NaTT certifiable-1.6