Consider a situation in which a principal commits to a mechanism first and then agents choose unobservable actions before their payoff-relevant types are realized. The agents' actions may affect not only their payoffs directly but also the distribution of their types as well. This paper extends...

We consider general social choice environments with private values and correlated types. Each agent's matrix of conditional probabilities satisfies the full rank condition. We show that for any Bayesian incentive compatible mechanism there exists a dominant strategy incentive compatible...