Revise according to relevant proof corrections.