SMN1 and proximal spinal muscular atrophy: Distinct strategies have been employed to circumvent the early embryonic lethality associated with the knockout of the single Smn gene in mice and generate mouse models of SMA [14]–[17].