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