CA9 and hepatocellular carcinoma: Application of these animal models and in vivo imaging strategy in our future work will helped us further understand the roles of CA9 during HCC metastasis.