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