FMR1 and fragile X syndrome: An Fmr1 knockout (KO) mouse model that recapitulates several phenotypic aspects of the syndrome is crucial for understanding the pathogenesis of FXS and the genotype–phenotype correlation in the syndrome.