Supplement to “Commitment, Flexibility, and Optimal Screening of Time Inconsistency”
Appendix B contains all omitted proofs of the main paper. Appendix C contains the calculations for the illustrative example. Appendix D discusses the case of outside options with type-dependent values. Appendix E discusses the case of finitely many states.