pumping | OpenEtymology