FMR1 and fragile X syndrome: Finally, Fmr1−/− knock-out (KO) mice are commonly used to model human FXS.