Appendix to section 3.3