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