Interestingly, FXR-knockout (FXR-KO) mice developed spontaneous HCC at the age of 12 months [27], which is consistent with the time to develop HCC in mice with constitutive activation of Notch1 reported in another previous study [20]. The gene discussed is NOTCH1; the disease is hepatocellular carcinoma.