For instance, knockout (KO) mice of Fmr1, Mecp2, Shank3, and Tsc1/2 model Fragile X syndrome (FXS), Rett syndrome, Phelan-McDermid syndrome, and Tuberous sclerosis complex, respectively [8–12]. The gene discussed is TSC1; the disease is fragile X syndrome.