FMR1 and fragile X syndrome: Hyperactivity is a significant clinical component of FXS [42, 43], and has been well-described in the Fmr1 KO [5, 44–46].