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]. The gene discussed is SMN2; the disease is proximal spinal muscular atrophy.