f f a f g 2.2 f f a f g true f f a f g false NaTT certifiable-1.6