INS and obesity due to melanocortin 4 receptor deficiency: Foxp1aP2∆/∆ knockout mice displayed similar phenotypes with Foxp1Ad∆/∆ mice, including resistance to HFD-induced obesity as well as improved glucose metabolism and insulin sensitivity after HFD feeding (Supplementary Fig. 4g–l).