reformulate introduction to Appendix B