Mice expressing K-RAS and either form of mutated CTNNB1, but not mutated CTNNB1 alone, develop HCC. The gene discussed is CTNNB1; the disease is hepatocellular carcinoma.