We study general equilibrium with private and incomplete state verification. Trade is agreed ex ante, that is, before private information is received. It is useful to define a list of bundles as a derivative good that gives an agent the right to receive one of the bundles in the list....

We consider a general equilibrium model of trade ex ante with differential information in which agents choose plans of state-contingent lists of bundles. Being unable to verify that the state of nature is s and not t, an agent has to accept the delivery of any bundle in the list for delivery in...