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