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). Here, AKT1S1 is linked to cystic kidney disease.