Indeed, Fmr1 KO mice show cortical hyperexcitability similar to FXS individuals65,66. The gene discussed is FMR1; the disease is fragile X syndrome.