We characterize the incentive compatible allocation that maximizes the expected social surplus in a single-unit sale when the efficient allocation is not implementable. This allocation may involve no selling when it is efficient to sell. We then show that the English auction always implements...