In proof for progress.