FMR1 and fragile X syndrome: To further test the functional relevance of elevated ADCY1 expression in FXS, we examined whether genetic removal of Adcy1 can correct behavioural symptoms in Fmr1 KO mice.