In the bilateral trading model developed by Myerson [1], an ex post efficient mechanism that satisfies incentive compatibility and individual rationality has been proved to be not existed. This paper is aimed at the ...