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