Fmr1-KO mice is a well-characterized model of FXS [40]. This evidence concerns the gene FMR1 and fragile X syndrome.