Began writing the new spec with LaTeX.