Finished the Held-Karp text