This paper studies the English (progressive) auction for an exchange economy with multiple objects. The English auction is a tatonnement process and lasts multiple rounds. It is modeled as a sequence of round games. Each round game is a normal form game in which an agent's strategies are his...