Synchronize the store of a monitor (mon.X) that drifted away from the system (say, it failed for a considerable amount of time) with the store of a quorum monitor (mon.Y).
This will be done by sharing keys and values in chunks, sending them from mon.Y to mon.X, which should then apply them.
These chunks will be encoded transactions.
Once mon.Y finishes sending all the available keys and values, it will then send all the Paxos versions available over to mon.X. This will ensure that mon.X ends up with a valid state.