INS and type 1 diabetes mellitus: To investigate the role of diabetes in the development of atrial fibrillation, we used an insulin-deficient diabetic animal model (type 1 diabetes, T1Dx).