FMR1 and fragile X syndrome: On the other hand, Fmr1-KO mice are a genetically defined model for Fragile X syndrome (FXS) [21].