Fmr1 knockout (KO) mice do not express FMRP and, as a result, reproduce some FXS behavioral abnormalities. The gene discussed is FMR1; the disease is fragile X syndrome.