f X g X f 1 g X g 1 g 0 2.2 f X g X f 1 g X g 1 g 0 true g 1 g 0 false f X g X f 1 g X true Failed! NaTT certifiable-1.6