Definition of "converges"