pump in english (pump)