TSC1 and Cognitive impairment: Thus, Tsc1 haploinsufficiency in Nkx2.1 inhibitory cells is sufficient to result in a subset of the hippocampus-related cognitive deficits observed in global Tsc mouse models.