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