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