bag-convergence