SMN1 and proximal spinal muscular atrophy: In SMA model mice, the SMNΔ7 transgenes likely provide an extra measure of SMN protein activity (Le et al. 2005).