f 0 1 x f h x h x x h 0 0 h g x y y 2.2 f 0 1 x h x f 0 1 x h x f 0 1 x f h x h x x true f 0 1 x f h x h x x true Failed! NaTT certifiable-1.6