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