Convergence found from pending messages, -1 unique id states deleted