FMR1 and fragile X syndrome: The Fmr1 knockout (KO) mouse, containing the loss of a functional FMRP protein, has been well-established in displaying behavioral abnormalities reminiscent of human FXS traits [15, 16].