The deletion of the Axin1 gene (sgAxin1) using CRISPR/Cas9 in mice—which stabilizes β-catenin—does not lead to HCC formation on its own; however, it cooperates with c-Met overexpression to promote HCC development. The gene discussed is AXIN1; the disease is hepatocellular carcinoma.