We study conditions for the existence of stable and (group)-strategyproof mechanisms in a many-to-one matching model with contracts if students' preferences are monotone in contract terms. We show that "equivalence", properly defined, to a choice profile under which contracts are substitutes and the law of aggregate demand holds is a necessary and sufficient condition for the existence of a stable and (group)-strategy-proof mechanism.Our result can be interpreted as a (weak) embedding result for choice functions under which contracts are observable substitutes and the observable law of aggregate demand holds. JEL-classification: C78, D47