TSC1 and tuberous sclerosis: The most striking evidence for astrocytic contribution to epileptogenesis in TSC comes from a conditional Tsc1 knockout mouse model (referred to as Tsc1GFAP mice), in which Tsc1 is specifically deleted in GFAP-expressing cells during embryonic development, leading to mTOR hyperactivity in these cells (75, 76).