MBNL1 and myotonic dystrophy type 1: Animal models, such as MBNL knockout mice and transgenic mice expressing high CTG repeats, have also been developed to further investigate these pathophysiological aspects of DM1.