We chose to cross these mice with the Mbnl1−/− model of DM1 in this study, as they feature a consistent and well characterized muscle phenotype, including robust myotonia, through global deletion of the main Mbnl isoform in skeletal muscle that is sequestered in DM113. The gene discussed is MBNL1; the disease is myotonic dystrophy type 1.