I propose we agree to stop using the term "eventually" in the literature on distributed systems? It's vague, a pain to prove, and not particularly useful. So, what's the alternative? How can we define liveness in a real system (faulty & asynchronous) without "eventually"? [1/n]

Also French people keep confusing the word with "éventuellement" ("possibly" in French)... 😂