In classic matching games, individuals choose their partners and each pair chooses a contract from a finite set of feasible contracts; the existence of stable allocations then follows from the (generalized) Deferred Acceptance algorithm. We consider an extension where the contract set is a...