Judith's changes to the introduction
Finish tidying up appendix on constraints