properties of allocations in economies with uncertainty the concept of an envy-free allocation has not been widely studied in … envy-free allocations may be empty. We nevertheless show that, under special circumstances, one may prove the existence of … allocations that are both ex ante efficient and ex post envy-free. Such is the case, in particular, in an economy with individual …