INS and diabetes mellitus: Additionally, previous studies also showed that PAX4+/− mice exhibit insulin-producing β cells and do not develop diabetes, indicating that a single copy of PAX4 is sufficient to promote normal β cells development and function (Sosa-Pineda et al. 1997; Sosa-Pineda 2004).