However, unlike the Tsc1/Foxi1 dKO mice, the Tsc1/Car2 dKO animals develop severe renal cystic disease as they age [9,10]. Here, TSC1 is linked to cystic kidney disease.