Substitutes and stability for many-to-many matching with contracts

We examine the roles of (slightly weakened versions of) the observable substitutability condition and the observable substitutability across doctors condition of Hatfield et al. (2021) in many-to-many matching with contracts. We modify the standard cumulative offer algorithm to find stable outcomes and prove new results on the existence of stable outcomes. It is remarkable that size monotonicity at the offer-proposing side is essential for the existence result under observable substitutability across doctors.