Indeed, transgenic mice, harboring CTG repeats inserted into the skeletal α-actin 3′ UTR (HSALR), form nuclear foci and present symptoms of DM1 such as myotonia, similar to Mbnl1 knockout (KO) mice [119,120]. The gene discussed is MBNL1; the disease is myotonic dystrophy type 1.