Catch-up protocol is not part of the Paxos subsystem.