-- An appropriate set of verifiers T := {t1, t2, ..., tl} approve m by signing it: ⟨m⟩t1 , ⟨m⟩t2 , ..., ⟨m⟩tl .
3. Upon reciving ⟨m⟩
#T with m = ⟨c1 c2 ... ck , n⟩a, validator v validates m by checking: signature of a is valid; v(a).nonce = n; v(a).pending ⊆ {m}; --