Common use of Unforgeability Clause in Contracts

Unforgeability. If all processes with identifier i are cor- rect and none of them performs Broadcast(m), then no correct process performs Accept(m, i).