Totally Ordered (Atomic) Broadcast

• Validity
• Agreement
• Total Order

Solved with

• consensus-problem