- Implement a basic long-standing leader PaceMaker
- Persistent protocol state (for safety)