TSC1 and epilepsy: The investigated Tsc1+/− mouse model exhibits social and cognitive deficits, which are core behavioural symptoms of ASD in humans [45] and other relevant rodent models [46], without any obvious brain pathology (such as tumors or epilepsy).