Possible solution to i_*i^* map, going to change for aesthetic reasons
Edited one more bit in to a lemma
Merge branch 'master' of https://github.com/joetait/tex
Many small edits, finished basis of hone proof, added small amount to ses proof