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). This evidence concerns the gene TSC1 and Cognitive impairment.