anchor.diff:                            ok
                     end
                 end || ItemId <- TxItemIDs ]
  +            end
           end,
       State;
   
  
positive.code: 
  -spec rtms_of_same_dht_node(rtms()) -> boolean().
  rtms_of_same_dht_node(InRTMs) ->
      Groups = lists:usort([catch(pid_groups:group_of(
                                    comm:make_local(element(1,get_rtmpid(X)))))
                            || X <- InRTMs, unknown =/= get_rtmpid(X)]),
      case length(Groups) of
          4 -> false;
          _ ->
  
negative.code:             RTMs = tx_state:get_rtms(TxState),
              Role = state_get_role(State),
              ValidAccs = [ X || {X} <- rtms_get_accpids(RTMs)],
              This = comm:this(),
              case comm:is_valid(This) of
                  false ->
                      log:log(warn, "Cannot discover my comm:this().~n");
                  true ->
                      {_, _, ThisRTMsNumber, _} = lists:keyfind({This}, 2, RTMs),
  
              %% add ourselves as learner and
              %% trigger paxos proposers for new round with own proposal 'abort'
  