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