Transfering the initial goals from the proofview to the proof object.
They were just passed along in the tactics.