Correctness. For all ID, if the leader L is honest and all honest parties are activated on ID, all honest parties would output for ID.
Appears in 3 contracts
Sources: Asynchronous Byzantine Agreement, Asynchronous Byzantine Agreement, Asynchronous Byzantine Agreement