bentarm comments on Incentive compatibility and the Revelation Principle