Made more corrections to appendix based on Aram feedback.
Draft #2.