Before revision:  In a matching setting, we reprove large-market existence results implied by Fleiner's analysis, and  prove both the strategy-proofness of the man-optimal stable mechanism in infinite markets , and an infinite-market version of Nguyen and Vohra's existence result for near-feasible stable matchings with couples.
After revision:  In a matching setting, we reprove large-market existence results implied by Fleiner's analysis, and (newly) prove both the strategy-proofness of the man-optimal stable mechanism in infinite markets , and an infinite-market version of Nguyen and Vohra's existence result for near-feasible stable matchings with couples.