Mike or Michael Shulman?
Removed cover and back page, those will be separate
Slightly better title page.

Should we move "Institute for Advanved Study" up so that it is
under "Univalent Foundations Program"? I would prefer not to, but we could
do it.
Still slightly better title page, hopefully
Remvoing headers and page numbers in TOC
Extraneous \