Despite these alterations, no significant variations in serum levels of leptin, triglycerides, or cholesterol were observed between the diet-induced obesity (DIO)-challenged IRcKO mice and control animals (Supplementary Fig. 6f). The gene discussed is LEP; the disease is obesity due to melanocortin 4 receptor deficiency.