anchor.diff:      %% be used
       Tid = tx_state_get_tid(TxState),
       RTMs = tx_state_get_rtms(TxState),
  -    CleanRTMs = [ X || {X} <- rtms_get_rtmpids(RTMs) ],
  -    Accs = [ X || {X} <- rtms_get_accpids(RTMs) ],
  +    CleanRTMs = rtms_get_valid_rtmpids(RTMs),
  +    Accs = rtms_get_valid_accpids(RTMs),
       TM = comm:this(),
       _ = [ begin
             %% ItemState = lists:keyfind(ItemId, 1, ItemStates),
  
positive.code:           end || RTM <- RTMs ],
      ok.
  
  -spec get_nth_rtm_name(0..3) -> atom(). %% pid_groups:pidname().
  get_nth_rtm_name(Nth) ->
      list_to_existing_atom("tx_rtm" ++ integer_to_list(Nth)).
  
  -spec get_my(pid_groups:pidname(), atom()) -> pid() | failed.
  get_my(Role, PaxosRole) ->
  
negative.code:             Maj = config:read(quorum_factor),
              RTMs = tx_state_get_rtms(TxState),
              Role = state_get_role(State),
              ValidAccs = rtms_get_valid_accpids(RTMs),
              MaxProposers = length(ValidAccs) + 1,
              This = comm:this(),
              case comm:is_valid(This) of
  