A bilateral trading mechanism is evaluated according to the level of expected welfare guaranteed when agents play weakly undominated strategies. We show that, if a finite mechanism guarantees expected welfare W, this is also achieved by the truth-telling strategy profile in a revelation...