Provable and Testable Convergence in Iteration