Mouse model of TSC. Using a Cre-lox system, TSC1 was inactivated in a neuron-specific manner in mice. Synapsin-TSC1 mice exhibit hyperexcitability. Neocortical pyramidal cells double-labelled with c-Fos and SMI-311 are shown.