Similar to FXS patients, Fmr1 KO mice do not produce Fmrp (Bakker et al., 1994). The gene discussed is FMR1; the disease is fragile X syndrome.