Now suppose that the newly received broadcast has … [The kernel] sends a point-to-point message to the sequencer … its history buffer and sends it. [history buffer is truncated when all machines report receiving a high enough sequence number]
Google-1
Google-2
Copyright clearance needed for quotation.