TSC1 and tuberous sclerosis: A murine TSC model with brain-specific hyperactivation of mTOR signaling pathway can be obtained via the use of Emx1-Cre mouse line in combination with loxP-TSC1 line as previously described4, 5.