The ex ante incentive compatible core of an exchange economy with private information is the (standard) core of a socially designed characteristic function, which expresses the fact that coalitions allocate goods by means of random incentive compatible mechanisms. We first survey some results in...