Data appendix for Unordered Monotonicity James J. Heckman, Rodrigo Pinto Mono-Web-App_2017-10-02a_sjs.pdf Mathematical proofs