Appendix to section 3.4