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