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