FMR1 and fragile X syndrome: In FMR1 KO mouse models, spine phenotypes correlate with those observed in humans with FXS as these mice have an increase in longer spines and a corresponding decrease in shorter spines.