TSC1 and tuberous sclerosis: Dorsal telencephalon neuronal progenitor specific knockout of Tsc1 (Tsc1Emx1-Cre) causes central nervous system malformations similar to the observed phenotypes in TSC patients [70].