A pair of gas pumps