anchor.diff:  %% sends a log operation per update, to the vnode responsible of the updated
   %% key. After sending all those messages, the coordinator reaches this state
   %% to receive the responses of the vnodes.
  -receive_logging_responses(cast, Response, S0 = #coord_state{
  +receive_logging_responses(cast, Response, State = #coord_state{
       is_static = IsStatic,
       num_to_read = NumToReply,
       return_accumulator = ReturnAcc
  
positive.code:             SnapshotTime = Transaction#transaction.snapshot_time,
              case FullCommit of
                  false ->
                      {committing_2pc, SD0#coord_state{state = committing, commit_time = SnapshotTime},
                          [{reply, From, {ok, SnapshotTime}}]};
                  true ->
                      reply_to_client(SD0#coord_state{state = committed_read_only})
              end;
          [_|_] ->
              ok = ?CLOCKSI_VNODE:prepare(UpdatedPartitions, Transaction),
              Num_to_ack = length(UpdatedPartitions),
              {receive_prepared,
                  SD0#coord_state{num_to_ack = Num_to_ack, state = prepared}}
      end.
  
  
  %% @doc when the transaction has committed or aborted,
  %%       a reply is sent to the client that started the transaction.
  reply_to_client(SD = #coord_state{
      from=From,
      state=TxState,
      is_static=IsStatic,
  
negative.code: %%      Should we retry sending the committed message if we don't receive a
  %%      reply from every partition?
  %%      What delivery guarantees does sending messages provide?
  receive_committed(cast, committed, State = #coord_state{num_to_ack = NumToAck}) ->
      case NumToAck of
          1 ->
              case reply_to_client(State#coord_state{state = committed}) of
                  {start_tx, Data} -> {next_state, start_tx, Data};
                  {stop, normal, Data} -> {stop, normal, Data}
              end;
          _ ->
              {next_state, receive_committed, State#coord_state{num_to_ack = NumToAck - 1}}
      end;
  
  %% capture regular events (e.g. logging_vnode responses)
  