A maximal domain of preferences for strategy-proof, efficient, and simple rules in the division problem