Common use of P P Clause in Contracts

P P. Lemma 5. If two parties i and j sends valid Vote(ID, G) and valid Vote(ID, Gj) to all parties, respectively, i.e., there exists ( , A, r, ) matching the majority elements in G and r is the largest VRF evaluation among all elements in G, and there exists ( , Aj, rj, ) matching the majority elements in Gj and rj is the largest VRF evaluation among all elements in Gj, then the (A, r) = (Aj, rj).