FMR1 and fragile X syndrome: 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].