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