Common use of Lemma 4 Clause in Contracts

Lemma 4. If there is a time t after which a correct proposer pi in state proposing cannot execute Line 31, then xx eventually decides.

Lemma 4. If there is a time t after which a correct proposer pi in state proposing cannot execute Line 3130, then xx eventually decides.

Lemma 4. If there is a time t after which a correct proposer pi in state proposing cannot execute Line 3130, then xx pi eventually decides.