finished typesetting the math I think