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