This one is not from Charron-Bost and Schiper [1]}, but
we can apply the same reasoning as for the previous delivered predicate. Here
the sum counts the number of messages that are never delivered.
Since all the processes are correct, this corresponds to the number of lost messages.
