"Recent years have seen an increasing use of theoretically grounded market designs to solve important real-life matching problems. A key factor for these practical accomplishments is that matching theory has been successful in developing centralized mechanisms that are (1) stable, that is, give agents no incentive to contract outside the mechanism, and (2) strategy-proof for a significant subset o ...