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