Setting up Appendix A