Appendix A is Complete