Change a few names in proof of invariant to match section 8.4 of the paper.