We prove that the English auction (with bidders that need not be ex ante identical and may have interdependent valuations) has an efficient ex post equilibrium. We establish this result for environments where it has not been previously obtained. We also prove two versions of the...