anchor.diff:      pdb:delete(PaxosId, TP_DB),
       dht_node_state:set_db(DHT_Node_State, NewDB).
   
  --spec on_tx_commitreply_fwd(tuple(), commit | abort, commit | abort,
  +-spec on_tx_commitreply_fwd(tx_tlog:tlog_entry(),
  +                            commit | abort, commit | abort,
                               dht_node_state:state())
                              -> dht_node_state:state().
   on_tx_commitreply_fwd(RTLogEntry, Result, OwnProposal, DHT_Node_State) ->
  
positive.code: 
  -spec on_init_TP({tx_state:tx_id(),
                    [comm:mypid()], comm:mypid(),
                    any(),
                    tx_item_state:tx_item_id(),
                    tx_item_state:paxos_id()},
                    dht_node_state:state()) -> dht_node_state:state().
  
negative.code:     %% (optimized: embed the proposer's accept message in registerTP message)
      dht_node_state:set_db(DHT_Node_State, NewDB).
  
  -spec on_tx_commitreply({tx_item_state:paxos_id(), tx_tlog:tlog_entry()},
                          commit | abort, dht_node_state:state())
                         -> dht_node_state:state().
  on_tx_commitreply({PaxosId, RTLogEntry}, Result, DHT_Node_State) ->
      ?TRACE("tx_tp:on_tx_commitreply({, ...})~n", []),
  