including pumping devices