Added some structure to inc_appendix_a.tex