Both Fmr1 KO mouse lines lack FMRP in the brain and show diverse behavioral phenotypes and synaptic physiology deficits, some of which recapitulate the clinical symptoms of patients with FXS [reviewed in (Kazdoba et al., 2014)]. The gene discussed is FMR1; the disease is fragile X syndrome.