FMR1 and fragile X syndrome: In contrast, Fmr1 knockout mice appear to be an excellent model for the hyperactivity and seizure susceptibility aspects of FXS.