More formal proof in 49, along with fix to runtime; still in the middle of updating 81
Slight restructuring of pages to include descriptive headers on each section
Full initial transcription: 34
currently adding to 81; just added 82; some small changes in template/researchPaper