@@ -515,9 +515,7 @@ should result with consistent local branches `alice`, `bob`, `carol` and deliver
## API
The API is presented by concepts, from the high-level abstraction interface of Causal Reliable Broadcast (CRB) to suggested implementation commands. Your implementation must implement the CRB and Process with the same command-line interface but you may organize the other implementation commands differently.
Commands that are already implemented for you are marked with *provided*, those you must implement are marked with *TBD*.
The API is presented by concepts, from the high-level abstraction interface of Causal Reliable Broadcast (CRB) to suggested implementation commands. Commands that are already implemented for you are marked with *provided*, those you must implement are marked with *TBD*.
