Indented everything porperly
Made sure that all "\[ \]" are not inline
Added a file to keep large comments out of thesis files
Changed instances of \rm and \textrm to \text
Added proof that trace map is non-zero - left some todos