Double KO mice lacked the typical major symptoms of FXS observed in Fmr1-KOs (Sidhu et al., 2014). The gene discussed is FMR1; the disease is fragile X syndrome.