Appendix to section 2.4