While the very first consensus protocols for the synchronous model were designed to match the worst-case lower bound, deciding in exactly t + 1 rounds in all runs, it was soon realized that they could be strictly improved upon by early stopping protocols. These dominate the first ones, by always deciding in at most t + 1 rounds, but often much faster. A protocol is unbeatable if it can’t be str...