proof corrections