Relicensed, based on Abram Hindle's lecture.