provable convergence