FMR1 and fragile X syndrome: The first mouse model of FXS was generated via Fmr1 KO and completely lacks Fmrp expression.