Restructured inc_appendix_a.tex