TSC1 and cyst: Inactivation of carbonic anhydrase 2 (Car2) significantly reduced, whereas, deletion of Foxi1 completely abrogated the cyst burden in Tsc1 KO mice.