proof of termination of the new iterative auction