Immunostaining of spinal cord slices showed modulation of protein levels of GFAP, Kir4.1, and EAAT1 in SMA mice (Figure 2A). Here, SLC1A3 is linked to proximal spinal muscular atrophy.