f f x f x g 0 g f 0 2.2 g 0 f 0 g 0 g f 0 true g 0 g f 0 false g 0 f 0 false NaTT certifiable-1.6