FMR1 and fragile X syndrome: The Fmr1 KO model reproduces core behavioral deficits of FXS, including impaired social recognition and increased repetitive behaviors (Melancia and Trezza, 2018; Kat et al., 2022).