anchor.diff:  			
      		end;
   
  -handle_command({commit, TxId, TxCommitTime}, _Sender, #state{log=Log}=State) ->
  +handle_command({commit, TxId, TxCommitTime}, _Sender, #state{log=Log, committed_tx=CommittedTx}=State) ->
   			%ale: Log T.writeset
  -			Result = dets:insert(Log, {TxId, {commit, TxCommitTime}}),
  +			Result = dets:insert(Log, {TxId, {committed, TxCommitTime}}),
       		case Result of
           		ok ->
  +        			ets:insert(CommittedTx, {TxId, committed}),
               		{reply, ack, State};
           		{error, Reason} ->
               		{reply, {error, Reason}, State}
  
positive.code: %% 2. clean the state of the transaction. Namely:
  %% 	a. ActiteTxsPerKey,
  %% 	b. Waiting_Fsms,
  %% 	c. TxState
  clean_and_notify(timeout, TxId, #state{prepared_tx=PreparedTx, 
  					write_set=WriteSet, waiting_fsms=WaitingFsms, active_txs_per_key=ActiveTxsPerKey}) ->
  	notify_all(ets:lookup(WaitingFsms, TxId), TxId),
  	case ets:lookup(WriteSet, TxId) of
  
negative.code:             app_helper:get_env(riak_core, platform_data_dir), TxLogFile),
      case dets:open_file(TxLogFile, [{file, TxLogPath}, {type, bag}]) of
          {ok, TxLog} ->
  	    	PreparedTx=active_tx,
  			WaitingFsms=waiting_fsms,
  			ActiveTxsPerKey=active_txs_per_key,
  			WriteSet=write_set,
  