Updated tex doc--should be close to finished