more changes
newly rendered pdfs: pdfs/main_2013-06-26_00-57.pdf pdfs/diff_2013-06-26_00-57.pdf
changes up to discussion
newly rendered pdfs: pdfs/main_2013-06-26_02-20.pdf pdfs/diff_2013-06-26_02-20.pdf