anchor.diff:  	    lager:info("FLOPPY: Tx was not started!~n"),
   	    {error, timeout}
       end.
  -    
  -    
  +
  +
   clocksi_bulk_update(ClientClock, Operations) ->
       clocksi_execute_tx(ClientClock, Operations).
   
   clocksi_read(ClientClock, Key, Type) ->
  -	Operation={read, Key, Type},
  +    Operation={read, Key, Type},
       clocksi_execute_tx(ClientClock, [Operation]).
  -    
  +
   clocksi_iread(TxId=#tx_id{}, Key, Type) ->
  -	{_, _, CoordFsmPid}=TxId,
  -	gen_fsm:sync_send_event(CoordFsmPid, {read, {Key, Type}}).
  -    
  +    {_, _, CoordFsmPid}=TxId,
  +    gen_fsm:sync_send_event(CoordFsmPid, {read, {Key, Type}}).
  +
   clocksi_iupdate(TxId=#tx_id{}, Key, OpParams) ->
  -	{_, _, CoordFsmPid}=TxId,
  +    {_, _, CoordFsmPid}=TxId,
       gen_fsm:sync_send_event(CoordFsmPid, {update, {Key, OpParams}}).
   
   clocksi_iprepare(TxId=#tx_id{})->
  -	{_, _, CoordFsmPid}=TxId,
  +    {_, _, CoordFsmPid}=TxId,
       gen_fsm:sync_send_event(CoordFsmPid, {prepare, empty}).
   
   clocksi_icommit(TxId=#tx_id{})->
  -	{_, _, CoordFsmPid}=TxId,
  +    {_, _, CoordFsmPid}=TxId,
       gen_fsm:sync_send_event(CoordFsmPid, commit).
  -        
  -    
  -    
  -    
  +
  +
  +
  +
  
positive.code: %% TODO Which state is exactly returned? Related to some snapshot? What is current?
  -spec read(key(), crdt()) -> val() | {error,reason()}.
  read(Key, Type) ->
      LogId = log_utilities:get_logid_from_key(Key),
      case floppy_rep_vnode:read(LogId) of
          {ok, Ops} ->
              Init=materializer:create_snapshot(Type),
              Snapshot=materializer:update_snapshot(Key, Type, Init, Ops),
              Type:value(Snapshot);
          {error, Reason} ->
              lager:info("Read failed: ~w~n", Reason),
              {error, Reason}
      end.
  %% Clock SI API
  
  %% @doc Starts a new ClockSI transaction.
  
negative.code: %% @doc The append/2 function adds an operation to the log of the CRDT object stored at some key.
  %% TODO What is returned in case of success?!
  -spec append(key(), op()) -> {ok, term()} | {error, timeout}.
  append(Key, Op) ->
      lager:info("Append called!"),
      case clocksi_bulk_update(now(), [{update, Key, Op}]) of   
          {ok, Result} ->
              {ok, Result};
          {error, Reason} ->
  