pump.down (PUMP.DOWN)