SCN4A and proximal spinal muscular atrophy: Therefore, although the muscles used in the Nav1.4 expression analysis are not morphologically denervated, we cannot rule out the possibility that functional synaptic defects at the NMJ influence sodium channel expression in muscles from mouse models of SMA.