Strategy-Proof Exchange under Dichotomous Preferences