Add in Jason's corrections for the proof.