Appendix to Section 3.2