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.