Element 'differential pumping (electronics)'