SMN2 and proximal spinal muscular atrophy: SmnRes/Res mice are embryonic lethal, however, when SmnRes replaces the Smn null allele in an SMAΔ7 background, the resulting SmnRes/Res mice display essentially the same SMA phenotype as standard SMAΔ7 mice [11].