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