FMR1 and fragile X syndrome: This review focuses on the Fmr1 KO mouse model, the most widely used and validated preclinical model for FXS [12].