Distributed Systems 4.2: Broadcast ordering