CTNNB1 and hepatocellular carcinoma: To model WNT-driven HCC, we generated mice with an activating β-catenin mutation (Ctnnb1+/(Dex3)) combined with a MYC transgene (R26lsl-MYC/lsl-MYC) to induce hepatocyte proliferation and HCC formation.