PTEN and hepatocellular carcinoma: Next, we used diethylnitrosamine and carbon tetrachloride (DEN/CCl4)-induced HCC models in HBV-transgenic mice and spontaneous HCC mice models (Alb-Cre Pten(flox/flox) mice with HBV Ad/rcccDNA transduction) to further validate our results in vivo (Fig. 7a and Supplementary Fig. 8a).