f g x g g f x f g x g g g 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