f f x g f x g g x f x 2.2 f f x g f x g g x f x true g g x f x f f x g f x true f 1 1 2 f 1 1 1 g 1 1 0 g 1 1 2 f f x g f x g g x f x NaTT certifiable-1.6