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