FMR1 and fragile X syndrome: The Fmr1 knockout (KO) mouse is a well-characterized animal model of FXS that mimics many neuronal and behavioral phenotypes observed in FXS patients3,5.