Pareto-efficient envy-free division

Summary