Fragile X syndrome (FXS) mice lacking FMRP protein23 were crossed with transgenic mice Trpc1 (mice expressing the CreERT2 fusion protein under the control of CaMKIIα promotor20 to generate a new mouse model of Fmr1 X-Y Trpc1lox/-CaMKIICre+/− (herein referred to as FXS C1-cKO) and their littermate Fmr1 X-Y Trpc1lox/- (here in referred to as FXS C1) used as control (Figures 1 and S2). Here, TRPC1 is linked to fragile X syndrome.