Payoff equivalence between Bayesian and ex post individually rational dominant strategy mechanisms

An efficient, interim individually rational, ex post budget balanced Bayesian mechanism is shown to be payoff equivalent to an ex post individually rational and ex ante budget balanced dominant strategy mechanism. This result simplifies the search for mechanisms that implement efficient allocation rules by pointing to a class of Groves mechanisms. It eliminates the strict requirement of common knowledge of priors and can be applied to many problems of incomplete information.