At P10, Tsc1flox/flox:KspCre mice show increased phosphorylation of S6K, showing upregulation of mTORC1 biochemically as expected (Fig. 1d and Supplementary Fig. 1a,b), but no evidence of renal cysts, except for a few tubular dilatations (Fig. 1e,f). The gene discussed is RPS6KB1; the disease is cystic kidney disease.