f s x s s f p s x f 0 0 p s x x 2.2 f s x p s x f s x f p s x true f s x f p s x true s 1 1 p 1 0 f 1 0 p 1 0 0 0 0 f 1 0 1 s 1 1 21239 p 1 1 f 1 1 p 1 1 0 0 0 0 f 1 1 1 p s x x f s x p s x false NaTT certifiable-1.6