TSC1 and tuberous sclerosis: The mouse model of TSC used here has embryonic deletion of Tsc1 from most forebrain excitatory neurons and some glial cells.