Add beginning of arrows are afreyd
Add proof of arrows are Freyd lemma
Add preliminarily final section on main result

http://www.youtube.com/watch?v=E6NBSFreCzM