TSC1 and hepatocellular carcinoma: Genetic mouse models with liver specific knockout of TSC1 (L-TKO mice) are suitable to explore the NAFLD-related HCC pathogenesis because these mice develop spontaneous HCC with a concurrent large accumulation of lipids in hepatocytes.