FMR1 and fragile X syndrome: The phenotypic features of the Fmr1 KO mouse model closely resemble those seen in FXS, supporting its validity.