FMR1 and fragile X syndrome: The most popular model used is the FMR1 KO (Fmr–/–) mice, which exhibit similar symptoms to those seen in human FXS (van den Ouweland et al., 1994; Spencer et al., 2005).