Updated conformance claims, removed first introductory Appendix, and made minor edits.