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