FMR1 and fragile X syndrome: Fmr1 knockout (KO) mice, the most frequently used animal model for FXS, display many phenotypes reminiscent of the human condition.