Improve the wording of a bunch of proofs.