Bugs in the proofs of revelation principle

Abstract

In the field of mechanism design, the revelation principle has been known for decades. Myerson, Mas-Colell, Whinston and Green gave formal proofs of the revelation principle respectively. However, in this paper, I argue that there are bugs hidden in their proofs.