SMN2 and proximal spinal muscular atrophy: The strategy to model this disease, therefore, involves creating loss-of-function mutations in mouse Smn1, while also transgenically expressing SMN2. This strategy has been generally successful, though the models tend to be quite aggressive, modeling the more severe end of the phenotypic spectrum of SMA.