Byzantine Reliable Broadcast with One Trusted Monotonic Counter

Define a shared object called TMC-Object with the following properties:

• Uniqueness TMC-Object will never assign the same ID to 2 different messages
• Strict Monotonicity TMC-Object will always assign an identifier that is strictly greater than the previous one.
• Sequentiality TMC-Object will always assign an identifier that is the successor of the previous one.