edited for formatting up through Appendix A