added lots of informal discussion to appendix