DM.5.K: Identify fair division procedures that exhibit envy-freeness.