TSC1 and cystic kidney disease: In fact, examination of renal cysts in mouse models of TSC indicates that they are composed of cells that express both TSC1 and TSC2 [13,14].