FMR1 and fragile X syndrome: The Fmr1 knockout (KO) mouse is generally considered a good animal model of human FXS and has been intensively studied on the molecular, cellular, anatomical, and behavioral levels (Hampson et al., 2012).