NC: proof corrections