SMN1 and proximal spinal muscular atrophy: The mouse model used in this study (Smn−/−; SMN2; SMNΔ7) is the most commonly used model of severe SMA and has been described previously [26].