f s X Y h s f h Y X 2.2 f s X Y f h Y X true f s X Y f h Y X false NaTT certifiable-1.6