f x a a b b y f a a a b 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 a b b y f a a a b b b x y f a x y f x a y true f a x y f x a y f x a a b b y f a a a b b b x y f b x y f x b y true Failed! NaTT certifiable-1.6