Done editing collaboration.tex