anchor.diff:                  {read, Key0, Type} ->
                       {Key0, {read, Key0, Type, ignore}}
               end,
  -            lager:info("ClockSI-Coord: PID ~w ~n ", [self()]),
  -            lager:info("ClockSI-Coord: Op ~w ~n ", [Op]),
  -            lager:info("ClockSI-Coord: TailOps ~w ~n ", [TailOps]),
  -            lager:info("ClockSI-Coord: getting leader for Key ~w ~n", [Key]),
               Logid = log_utilities:get_logid_from_key(Key),
               Preflist = log_utilities:get_preflist_from_logid(Logid),
               Leader = hd(Preflist),
  
positive.code:                                read_set=ReadSet,
                                 current_op_leader=CurrentOpLeader}) ->
      {OpType, Key, Type, Param} = CurrentOp,
      lager:info("ClockSI-Coord: Execute operation ~w", [CurrentOp]),
      IndexNode = CurrentOpLeader,
      case OpType of
          read ->
  
negative.code: receive_aborted(ack_abort, S0=#state{num_to_ack= NumToAck}) ->
      case NumToAck of
          1 ->
              {next_state, reply_to_client, S0, 0};
          _ ->
              {next_state, receive_aborted, S0#state{num_to_ack=NumToAck-1}}
      end.
  
  