TSC1 and cystic kidney disease: 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).