FMR1 and fragile X syndrome: Behaviorally, Fmr1 KO mice exhibit phenotypes compatible with symptoms observed in FXS individuals.