We consider a general economy, where agents have private information about their types. Types can be multi-dimensional and potentially interdependent. We show that, if the interim distribution of types is common knowledge (the exact number of agents for each type is known), then a mechanism...