f s x y f x s s x f x s s y f y x 2.2 f s x y f x s s x f x s s y f y x true f x s s y f y x f s x y f x s s x true s 1 1 2 f 2 0 f 2 1 4 2 1 0 NaTT certifiable-1.6