If the merge is aborted on donor, then R reserves an OpTime, call it the abortOpTime, and updates its durable state machine's state to "aborted" and sets the state machine's ‘AbortOpTime’ to abortOpTime. Otherwise, R updates its durable state machine's state to "committed".