Genetic reduction of Adcy1 corrects abnormalities in FXS. This evidence concerns the gene ADCY1 and fragile X syndrome.