"When replica Ri produces a checkpoint, it multicasts a message to the other replicas, where n is the sequence number of the last request whose execution is reflected in the state and d is the digest of the service state." . . . .