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