In the marriage model, Becker (1973) found that positive (or negative) sorting is efficient with supermodular (or submodular) match payoffs. But characterizing the optimal matching with general production remains unsolved decades later.Rather than tackle this difficult open problem, we instead...