FMR1 and fragile X syndrome: Fmr1 KO mice lack FMRP and manifest several FXS-associated symptoms (Bernardet and Crusio, 2006; Moy and Nadler, 2008).