Consider a standard mechanism design setting with quasi-linear preferences and private valuations. From Holmström (1979), we know that if the valuations are smooth with respect to types then any efficient, dominant strategy mechanism is in the class of Groves mechanisms. Here I show that, given...