We study models in mechanism design theory where agents have private information (called a type) which has to be elicited by the mechanism designer. The cornerstone of the theory is the collection of incentive compatibility ...