f 0 true f 1 false f s x f x if true x y x if false x y y g s x s y if f x s x s y g x c y g x g s c y y 2.2 g s x s y f x f s x f x g x c y g x g s c y y g s x s y if f x s x s y g x c y g s c y y true g x c y g s c y y g x c y g x g s c y y true 1 0 1 s 1 1 false 0 41063 c 1 1 41065 true 0 41063 f 1 41063 0 0 1 if 3 1 2 3 0 f 1 0 g 2 2 0 if 3 0 g 2 1 2 41063 if true x y x f 0 true f s x f x if false x y y g x c y g x g s c y y g s x s y if f x s x s y f 1 false g s x s y if f x s x s y false g s x s y f x false f s x f x true 1 0 0 s 1 1 1 false 0 2 c 1 1 0 true 0 1 f 1 1 2 0 0 0 if 3 1 2 0 f 1 1 0 g 2 0 if 3 0 g 2 1 2 0 f 0 true f s x f x f 1 false NaTT certifiable-1.6