Mice lacking ADCY3 exhibit obesity that is caused by a decrease in activity, hyperphagia, and leptin resistance. The gene discussed is ADCY3; the disease is Obesity.