Inherent Redundancy in Spiking Neural Networks — arXiv2