Arrow-Debreu model