Appendix to Section 3.5