SMN1 and proximal spinal muscular atrophy: Genetic modifications were thus integrated in the Smn–/– mice to allow their survival, whilst still retaining the criteria for an SMA model.