INS and diabetes mellitus: Diabetes develops in Pdx1-haploinsufficient mice due to an increase in β-cell death leading to reduced β-cell mass and decreased insulin secretion.