Notably, another study revealed similar cases of spontaneous HCC formation in mice lacking TSC1. The gene discussed is TSC1; the disease is hepatocellular carcinoma.