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