ADCY3 and Schnyder corneal dystrophy: For example, global AC3 knockout mice (AC3−/−) are obese under SCD feeding,[7] whereas an intermediate phenotype was observed in heterozygous null mice (AC3+/−) with only HFD feeding conditions without hyperphagia.[82]