pumped | OpenEtymology