f x 0 s 0 f s x s y s f x y g 0 x g f x x x 2.2 g 0 x g f x x x g 0 x f x x f s x s y f x y true g 0 x g f x x x true s 1 1 f 2 1 0 0 2 f 2 0 g 2 1 0 g 2 0 f x 0 s 0 f s x s y s f x y g 0 x f x x false f s x s y f x y true s 1 1 1 f 2 21239 0 0 0 f 2 1 0 g 2 0 g 2 0 NaTT certifiable-1.6