TSC1 and tuberous sclerosis: To further study the origin of hyperexcitability in TSC, we created PV- and SST- cell-specific Tsc1 knockout mice.