f g x g y f p f g x s y g s p x p 0 g 0 g s p x p x 2.2 f g x g y f p f g x s y g s p x f g x g y p x f g x g y g s p x f g x g y p f g x s y p 0 g 0 f g x g y f g x s y true f g x g y f g x s y false f g x g y p f g x s y false f g x g y p x false p 0 g 0 false f g x g y g s p x false f g x g y f p f g x s y g s p x false NaTT certifiable-1.6