Appendix to Section 2.5.