FMR1 and fragile X syndrome: FXS mice are characterized by the lack of FMRP protein (Figures S1A and S1B).