[[machine]] [[pump]] — Etymology, Origin & Word History | Etymology Explorer