f X f X c a c b 2.2 NaTT certifiable-1.6