Simplified the LaTeX a little, no changes to text.