- x 0 x - s x s y - x y p s x x f s x y f p - s x y p - y s x f x s y f p - x s y p - s y x 2.2 f x s y f p - x s y p - s y x f x s y - s y x f s x y - s x y f s x y - y s x f s x y f p - s x y p - y s x f s x y p - y s x f x s y p - s y x f x s y p - x s y - s x s y - x y f s x y p - s x y f x s y - x s y true f s x y f p - s x y p - y s x f x s y f p - x s y p - s y x true Failed! NaTT certifiable-1.6