Ported entire manuscript to LaTeX