SMN1 and proximal spinal muscular atrophy: Having thus established that our strategy worked as designed and successfully rescueddisease symptoms in both iPSCs and MNs, we next investigated whether an SMA disease modelmouse (Smn−/−; SMN2tg/−) [30] could be rescued by the disruption of theSMN2-ISSs.