Strengthen K inference in cartographer