Liveness properties Clause Samples

Liveness properties. Lemma 2. Each message sent by a correct process is eventually safe for any other correct process.