TSC1 and tuberous sclerosis: Furthermore, the use of a TSC animal model (conditional TSC1 knock out) provided evidence that changes in the expression of multiple ion channels and cytoskeleton proteins may drive epileptogenesis in TSC.