To investigate the role of PRAS40 in TSC-associated renal cysts, we crossed Tsc2f/f; Cre mice with Akt1s1 globally deleted mice and obtained Akt1s1−/−Tsc2f/f; Cre mice (Fig. 2A, B). The gene discussed is AKT1S1; the disease is Renal cyst.