SMN1 and proximal spinal muscular atrophy: Several murine models of SMA have been generated, mostly based on Smn1 (murine homolog of human SMN1) gene inactivation and the introduction of more copies of the human SMN2.