finished as much typesetting as i probably will before the final