The revelation principle is a fundamental theorem in many economics fields such as game theory, mechanism design and auction theory etc. In this paper, I construct an example to show that a social choice function which can be implemented in Bayesian Nash equilibrium is not truthfully...