Cleaning up proofs.