mitigate collusion. In our model, an agent has private information and a supervisor observes
a signal that is correlated with the agent's type. Agent and supervisor can form collusive side
agreements. We study the implementation of social choice functions that condition on the
agent's type and the supervisory signal. Our main result establishes that any social choice
function that is implementable if the signal is public can also be implemented when the …