Mathematics The Envy-Free Cake-Cutting Procedure How to Ensure Fairness as a Mechanistic Outcome. Implications for policy?