Supplement to "Monotonicity and Implementability" PDF providing additional proofs for the manuscript. Supplemental Authors: Itai Ashlagi, Mark Braverman, Avinatan Hassidim, and Dov Monderer proofs 8882_proofs_0.pdf