f X g X Y f Y Y Y g b c b c 2.2 f X g X Y f Y Y Y true f X g X Y f Y Y Y true Failed! NaTT certifiable-1.6