the pumps being of different types