FMR1 and fragile X syndrome: Interestingly, it was reported that Fmr1 knockout mice display impaired inhibitory serine-phosphorylation of GSK3, and inhibition of GSK-3 by lithium ameliorated behavioural deficits in models of FXS.