Put tex together into writeup