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. The gene discussed is ADCY1; the disease is fragile X syndrome.