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