Common use of Inclusivity Clause in Contracts

Inclusivity. Given any correct process pi ∈ C, if Proi contains a value v then, v is eventually included in one decision in Deci;