9eB1 comments on Incentive compatibility and the Revelation Principle