Implementing the efficient allocation in a model of financial intermediation

In a finite-trader version of the Diamond-Dybvig (1983) model, the symmetric, ex-ante efficient allocation is implementable by a direct mechanism (i.e., each trader announces the type of his own ex-post preference) in which truthful revelation is the strictly dominant strategy for each trader. When the model is modified by formalizing the sequential-service constraint (cf.~Wallace, 1988), the truth-telling equilibrium implements the symmetric, ex-ante efficient allocation with respect to iterated elimination of strictly dominated strategies.