f f x g f x 2.2 true NaTT certifiable-1.6