How to pronounce “liveness” in English

So the necessary property for liveness in the system is that the correct nodes actually have to form a quorum.

Well, for liveness you actually want to make progress.

And if you want to guarantee both safety and liveness, then you need not only quorum intersection despite U bar, but you also need U itself to be a quorum,

guarantee all three of safety, liveness, and fault tolerance in an asynchronous system.

In other words, this failure tolerance for both safety and liveness are the same.

Well, could be that after saying this, fl or more than fl of those nodes die, in which case the system-- we can't guarantee liveness anyway.