Edit some proofs.