Converting proposal to LaTeX (in a hurry)