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