The Arrow-Debreu Model

At date 0 traders trade current consumption bundles and contracts promising the delivery of $x_{sl}$ units of good $l$ if state $s$ occurs in date 1.